题解中证明操作次数能达到下界 $\sum f_i$ 的证明，有没有详细一点的或严谨一点的？

个人觉得大部分题解说明了下界但关于能达到下界的证明的过程糊了一点。