I think there is something missing, for T term we have T on right hand side
the expression for S(n) also appears to be confusing. Please clarify.
The steps fro MI are very clear.
1. Check if the statement is true for n = 1
2. assume the statement to be true for n = k and then
3. Prove that the statement is true for n = k + 1