有关完全二叉树深度的数学证明

请问怎么用数学解释？为啥处于那个范围就可以用取整函数表示？可以详细说说吗