A Simple Sum

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.