This is a simple summation formula:
It may be proved easily using mathematical induction.
Mathematical induction is part of deductive, not inductive, logic.