Recursive Form of Generalized Termial

Theorem
The termial function as defined on the real numbers fulfils the identity:


 * $x? = x + \paren {x - 1}?$

Proof
By definition of the termial on the real numbers:
 * $x? = \dfrac {x \paren {x + 1} } 2$

Thus: