Did you know that $\forall n.~n \in \mathbb N_0 \Longrightarrow \sum\limits_{i=0}^n i = \frac{n \cdot (n-1)}{2}$?