Talföljden $a_n$ definieras genom rekursionsformeln
$$ a_n = \begin{cases} \displaystyle \frac{1}{\sqrt{1+\frac{1}{a_{n-1}^2}}} & \text{om } n\ge 2,\\ 1 & \text{om } n=1. \end{cases} $$
Beräkna $a_1$, $a_2$, $a_3$, $a_4$ och $a_5$.
Uppställ och bevisa en explicit formel för $a_n$ medelst induktion.