$$ \frac{a_1}{a_0} = 1 $$ liegt im Intervall [1;2] also
Induktionsanfang gegeben.
Wenn es bis zu einem gewissen n immer stimmt, muss man
zeigen, dass es dann auch für n+1 stimmt, dass also gilt
$$ 1 \leq \frac{a_{n+2}}{a_{n+1}} \leq 2$$
Mit der Rekursion gibt das
$$ 1 \leq \frac{a_{n}+a_{n+1}}{a_{n+1}} \leq 2$$
$$ 1 \leq \frac{a_{n+1}}{a_{n}} + \frac{a_{n+1}}{a_{n+1}} \leq 2$$
$$ 1 \leq \frac{a_{n}}{a_{n+1}} + 1 \leq 2$$
\( 0 \leq \frac{a_{n}}{a_{n+1}} \leq 1 \) #
Da nach Ind.annahme gilt
$$ 1 \leq \frac{a_{n+1}}{a_{n}} \leq 2$$
liegt der Kehrwert zwischen 1 und 0,5, also ist # erfüllt.