[Luis Fuentes]

Hola

Ni idea de probar de forma rigurosa que \( x_n \in ]-1,1[ \), tengo que calcular el límite o algo?

Simplemente si \( 0<a<1 \) entonces \( 0<a^p<1 \) para todo \( p>0 \). En tu caso \( a=1/2 \) y \( p=1/n \).

Saludos.