这是我们老师考的 T4。

发现 $F$ 是断点函数，所以我想要二分弄修改。查询也可以用二分。

然后用整体二分，求证明正确性。