\sum_{i=1}^n i = \frac{n(n+1)}{2}