几个多重取整函数恒等式

本文给出几个多重取整函数恒等式。