這個用戶懂得數學歸納法
(M.I.)
n → (n+1)