StudyingFather 的题解中说

具体来说，我们找到使得冰系战士能量（记为 f(k)）小于火系战士能量（记为 g(k)）的最高温度 k，则一定有 f(k+1)≥g(k+1)，这时候我们再找到一个最大的 k′，使得 g(k+1)=g(k′) 即可。

请问如何证明不会出现现在的 f(k)>g(k+1) 的情况呢？（这样最优解不就是 f(k) 而非g(k+1)了吗）