This is a simple summation formula: ∑k=1nk=nn+12. It may be proved easily using mathematical induction.
Mathematical induction is part of deductive, not inductive, logic.