1. Formule de Stirling : n! ~ √(2πn)(n/e)ⁿ. 2. Démonstration par les intégrales de Wallis. 3. Encadrement précis. 4. Applications : coefficients binomiaux, entropie
Estimation asymptotique. Lien avec Γ(n+1)