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