怎么证明复杂度正确？（比如例题墨墨的等式）

或证明能卡掉。