本题的四篇题解，共有两篇没给证明。

本题的 dp 方程是 $f_i=\max\{j+\lceil\frac{s_{j+1}}{i}\rceil\}$，是一个相当难证明正确的 dp 式子，我并不觉得这个式子十分显然。

而这篇题解与这篇题解没有提及任何的正确性证明。

同时前一篇题解的样例解释有误，后一篇题解只写了斜率优化的过程。

所以，请求撤下这两篇题解。