# Closed Form for Sequence 1, 2, 2, 3, 3, 3, 4, 4, 4, 4, ...

## Theorem

Let $a_1, a_2, a_3, \ldots$ be the integer sequence:

$\sequence {a_n} = 1, 2, 2, 3, 3, 3, 4, 4, 4, 4, \ldots$

Then:

$a_n = \ceiling {\dfrac {\sqrt {1 + 8 n} - 1} 2}$

## Proof

From Closed Form for Triangular Numbers, for $n = 1, 3, 6, 10, \ldots$:

$n = \dfrac {a_n \paren {a_n + 1} } 2$

Thus by the Quadratic Formula: $a_n = \dfrac {-1 \pm \sqrt {1 + 8 n} } 2$

In this context it is the positive root that is required.

The result follows by definition of ceiling function.

$\blacksquare$