Oui, ça marche et ce sans récurrence, puisque c'est valable pour tout n entier naturel.
En maths on fait cette chose un peu subtile:
On dit "soit n entier naturel, soit x dans [0,1]"
On aboutit à une proposition, et si on n'a pas eu besoin de préciser n ou x, et que le truc entre parenthèse suffit, ça marche, justement, quelque soit n entier naturel et quelque soit x dans [0,1]
Si on en prend un au hasard et que ça marche à coup sûr, ça marche pour tous.
Passons à ton exemple.
Soit n entier naturel non-nul, soit x dans [0,1].
On a: 0<x<1
x->x^n est croissante sur [0,1]
Donc: 0^n<x^n<1^n
Soit: 0<x^n<1
x^n>0
Donc: 0<x^(n+1)<x^n
Et ceci est valable pour tout x dans [0,1], tout n entier naturel non nul.