函数是周期为的有界函数，其中是取整函数.