具体来说，例如 出题人 题解 中：

（2）$k\geq f(i,j)$，那么是形如 $dp_{i,k}+a_k$ 的东西，显然这个关于 $k$ 单调递增，直接输出 $k=f(i,j)$ 时的答案即可。

$dp_{i, k}$ 随 $k$ 单调不减确实是显然的（虽然感觉有点难以说明），但为什么 $dp_{i, k}+a_k$ 也是随 $k$ 单调不减（递增）的？

现存的其它题解也都回避了这个问题...我试着推了下也推不出来（