要加上 $i+1 \ge i$ 的约束。