记区间最大值为 $maxV$，为什么要把 $maxV > 2x$ 和 $maxV \le 2x$ 的情况分开处理呢？

如果是出于优化时间，不分开单个块也是 $O(\sqrt{块长})$ 的吧。