求证明，操作次数不会超过 $\log n$。

有没有构造方案，使得操作次数接近 $\log n$?
对思路有帮助就会关注