這題的 modify 并不是待修區間包含當前區間就一定返回，這破壞了綫段樹的複雜度依賴。

如何證明本體 modify 依然是 $O(\log n)$ 的？