Pour tout nombre complexe de partie réelle strictement positive, on défini la fonction Gamma par :
La fonction gamma est indéfiniment dérivable sur R+*, et on a l'égalité :
On connait la formule de Stirling pour la factorielle :
Et bien elle est encore valable pour la fonction Gamma (sous certaines conditions !) :