rt，不懂为啥转移的时候要找最大的 $j$ 使得 $[j, i]$ 可消除。求证明。