n^2 + 2 \cdot n - 1, \forall n \in \mathbb{N}