经过测试，发现任一时刻 $\forall i,a_i\geq 3$。因为这一条件能有效避免边界情况，建议添加。