线段树维护的是不是真实的 $f$，$f'$ 的前缀最小值才是真实的 $f$ （如果 $f_i$ 表示比 $i$ 大的数个数）。理论 $f$ 应该不增，所以我们线段树维护区间 $f'$ 的最小值，如果左边的 $f'<k$，则右边一定 $<k$，虽然实际线段树右边可能 $>k$。

我开始看开始的几篇题解都没有说明这个问题，越看越晕。只有少数几篇题解说清了这个问题。如果你有同样的疑惑希望这个帖子能帮到你。