Wir betrachten die Funktion
-

auf
. Wegen
-

ist dies positiv für
und gleich
für
. Daher ist
streng wachsend und es gilt
-

für
und
.
Daher ist die Folge zu jedem Startwert
fallend und konvergiert gegen einen Grenzwert, da alle Folgenglieder nichtnegativ sind. Es sei
der Grenzwert, der wieder zu
gehören muss. Wegen der rekursiven Beziehung
-

und der Stetigkeit des Sinus folgt
-

Nach den bisherigen Überlegungen muss
sein. Die Folge konvergiert also bei jedem Startwert gegen

.