A Simple Sum

This is a simple summation formula:

 SUM_{k = 1}^{n}[k ]  =  {n(n+1)}/{2}    . 

It may be proved easily using mathematical induction.

Mathematical induction is part of deductive, not inductive, logic.