https://www.luogu.com.cn/blog/llcnb/solution-p2413

RT，很多年前 口胡了觉得这个是 $\log n$ 的复杂度，但现在看起来觉得很奇怪。

然后跑了一下 $2\times 10^7$ 的数据发现每次平均查询 $31$ 次，也是比较接近了。

哪位大佬能帮忙严谨证一下啊 orz