RT，本辣鸡根本不会决策单调性，今天听 ix35 大师说这道题是决策单调性，本辣鸡第一个想到的是：

$dp_{i,j}$ 和 $dp_{i+1,j+1}$ 的决策点符合单调性。（显然这不是正解）

然后尝试推一下，发现需要 $dp$ 数组满足四边形不等式，但是显然这不是容易证明的，所以请问这个满足吗？