Induksjonsbevis for rekursiv følge

Lest inn av KI og ikke kontrollert manuelt enda — kan inneholde feil.

En følge er gitt ved $a_1 = 2$ og $a_n = a_{n-1} + n$ .

Bruk induksjon til å vise at $a_n = \dfrac{n^2 + n + 2}{2}$ for alle $n \in \mathbb{N}$ .