这个用户懂得数学归纳法
(M.I.)
n → (n+1)