Calculer [formule] et [formule].
IPP pour la récurrence.
IPP : [formule] pour [formule]. [formule], [formule]. [formule], [formule]. Wallis : [formule].