[formule] de classe [formule] sur [formule], [formule] et [formule] pour [formule]. Montrer [formule], [formule].
Appliquer Rolle successivement.
[formule] (Rolle). [formule] et [formule], [formule]. Récurrence : [formule] et [formule]. Donc [formule]. À l'étape n : [formule].