Raisonnons par récurrence:
- Initialisation : pour n=2 l'inégalité est équivalente à :
ce qui est vrai.
-Hérédité: supposons que l'inégalité est vraie pour n et montrons qu'elle l'est pour n+1.
Ainsi il suffit de montrer que :
ce qui n'est qu'une application de IAG.
Egalité si et seulement si :