(1) Zeige per Induktion über n, dass die Folge nach unten durch 2 beschränkt ist.
Induktionsanfang: Klar für n = 0.
Induktionsvoraussetzung: Es gebe ein n mit an > 2.
Induktionsschritt: Zeige, dass die Aussage für n + 1 gilt.
Nach Definition und Induktionsvoraussetzung ist
an+1 - 2 = an/2 +1 - 2 = (an - 2)/2 > 0.
Daraus folgt an+1 > 2.
(2) Zeige, dass die Folge monoton fällt.
Nach (1) gilt an+1 - an = an/2 + 1 - an = (2 - an)/2 < 0.
Daraus folgt an+1 < an.
(3) Aus (2) folgt, dass die Folge durch a0 nach oben beschränkt ist.
(4) Die Konvergenz der Folge folgt aus (1) und (2). Für den Grenzwert c gilt
\(c=\lim\limits_{n\to\infty}a_n=\lim\limits_{n\to\infty}a_{n+1}\), also \(c=\frac12c+1\). Daraus folgt \(c=2\).