1. Calcul des intégrales de Wallis. 2. Relation de récurrence. 3. Équivalent de Wₙ. 4. Formule de Stirling
Wₙ ~ √(π/(2n)). n! ~ √(2πn)(n/e)ⁿ