Wohldefiniertheit könnte ja höchstens an einem xn=0
scheitern. Man kann aber wohl zeigen (Induktion ?)
Es gilt immer xn>0 und 9 > xn^2 > 6.
Dann wäre ja xn nach unten beschränkt durch √6.
Und wegen \( x_n - x_{n+1} = \frac{x_n^2 -6 }{3x_n} \)
ist diese Differenz immer positiv, also die Folge
monoton fallend und somit konvergent.
Wegen der Rekursion gilt für den Grenzwert g
g = 2g/3 + 2/g was g^2=6 und weil alles
positiv g=√6 ergibt.