[KaibaMath]1002 关于[x+n]=[x]+n的证明

对x+n进行取整运算时，可将整数n提取到[]之外，这无疑简化了取整运算。