Let $N \in \mathbb{N}$ be a D996: Natural number.

Then \begin{equation} \sum_{n = 0}^N n = \frac{N (N + 1)}{2} \end{equation}