取整是取大还是小

　　取整函数性质：

　　性质1：对任意x∈R，均有x-1<[x]≤x<[x]+1。

　　性质2：对任意x∈R，函数y={x}的值域为Z。

　　性质3：取整函数(高斯函数)是一个不减函数，即对任意x1，x2∈R，若x1≤x2，则[x1]≤[x2]。

　　性质4：若n∈Z，x∈R，则有[x+n]=n+[x]，{n+x}={x}。后一式子表明y={x}是一个以1为周期的函数。

　　性质5：若x，y∈R，则[x]+[y]≤[x+y]≤[x]+[y]+1。

　　性质6：若n∈N+，x∈R，则[nx]≥n[x]。