第三行 $a_i+1$ 应为 $a_{i+1}$。