RT，我看到了一个 DP 的柿子是 $f_i=\min(f_{i-1}+a,f_j+b)$ 其中后面一个转移需要满足某些条件，$a$ 和 $b$ 都是正整数，求证 f 数组单调不降。