La formule de Stirling décrit le comportement asymptotique de la factorielle d'un entier. Elle est surprenante en raison de la présence - pour le moins inattendue - des constantes π et e.