为什么 $f_i$ 的后缀最小值能作为在线段树上二分的判断依据？( $f_i$ 表示位置 $i$ 前面有多少个数能取）