sum of n(n+1)/2 code example

Example: formula for sum of n numbers

Sum of the First n Natural Numbers. We prove the formula 1+ 2+ ... + n = n(n+1) / 2, for n a natural number