Worked solution
Quote the proved closed form
The induction has already established this formula.
Substitute into the closed form
Replace by the required upper limit.
State the proposition to be proved
Name the statement so the base case and inductive step can refer to it.
State the value of the sum
This is the required value of the series.