向下取整数的函数公式