Salut aviateurpilote, le resultat est bon mais il faudrait le demontrer car je pense que axiome aurait voulu avoir les étapes intermédiaires.Donc je reprend
notons Pn la propriété:

(n ds N)
a. la propriété est vraie pour n=4, plus petite valeur de l'indice:

(=16)
b. supposons Pn vraie pour un n fixé: alors, par hypothèse

.
Multiplions les 2 menbres par 2:

soit

.
Montrons maintenant que, pour

:
^2)
ou

.
En effet, le 1er membre est un trinôme de variable n dont les racines sont

et

.
Pour

, exterieur à l'intervalle des racines, le trinôme est du signe de a=1, soit strictement positif.
On a donc
^2}<2n^2\le{2^{n+1}})
d'où
}^2\le{2^{n+1}})
ce qui démontre que Pn+1 est vraie.
c.le principe du raisonnement par récurrence s'applique, et on peut conclure:
pour tout n entier,

A+