La formule de Stirling, du nom du mathématicien écossais James Stirling, donne un équivalent de la factorielle d'un entier naturel n quand n tend vers l'infini :
que l'on trouve souvent écrite ainsi[1] :
où le nombre e désigne la base de l'exponentielle.