La formule de Stirling

1) On commence par la présentation classique d’une épreuve de concours où on ne découvre pas le résultat :
n!
Pour n ∈ N∗ , on pose un =  n n √ . On veut montrer que la suite (un )n∈N∗ converge et a pour limite un réel strictement
n
e
positif K. Pour cela, on pose pour n ∈ N∗ , vn = ln (un ) puis wn = vn+1 − vn .
• On calcule wn :

n+1 n
! !
X 1 X 1
wn = ln(k) − (n + 1) ln(n + 1) + (n + 1) − ln(n + 1) − ln(k) − n ln(n) + n − ln(n)
2 2
k=1 k=1
      
3 1 1
= ln(n + 1) − n+ ln(n + 1) − n + ln(n) + 1 = 1 − n + (ln(n + 1) − ln(n))
2 2 2
   
1 1
=1− n+ ln 1 + .
2 n

• On montre que la série numérique de terme général wn , n ∈ N∗ , converge :

     
1 1 1 1 1 1 1
wn = 1− n+ − 2 +O = 1 − 1 + − + O
n→+∞ 2 n 2n n3 n→+∞ 2n 2n n2
 
1
= O .
n→+∞ n2

Donc, la série numérique de terme général wn , n ∈ N∗ , converge.

• On en déduit la convergence de la suite (vn )n∈N∗ puis de la suite (un )n∈N∗ :
On sait que la suite (vn )n∈N∗ et la série de terme général wn = vn+1 − vn sont de même nature. Donc, la suite (vn )n∈N∗
converge vers un certain réel ℓ. Puisque pour tout n ∈ N∗ , un = evn , la suite (un )n∈N∗ converge vers le réel strictement
positif K = eℓ .
Puisque K n’est pas nul, on en déduit que
 n n √
n! n. ∼ K
n→+∞ e
Maintenant, on peut aussi écouvrir le résultat précédent patiemment à l’aide des règles de sommation des relations de
comparaison. C’est ce qu’on fait dans le paragraphe 2).
2) a) Equivalent de ln(n!) quand n tend vers +∞.
Zk
Soit k un entier naturel supérieur ou égal à 2. On a ln(k − 1) 6 ln x dx 6 ln k. Puisque ln(k − 1) ∼ ln k ou encore
k−1 k→+∞
Zk
ln(k − 1) 1
6 ln(x) dx 6 1, le théorème des gendarmes permet d’affirmer que
ln(k) ln(k) k−1
Zk
ln x dx ∼ ln k > 0.
k−1 k→+∞

Comme la série de terme général ln k diverge, la règle de l’équivalence des sommes partielles de séries à termes positifs
divergentes permet d’affirmer que, quand n tend vers +∞,
n
X n Zk
X Zn
ln(n!) = ln k ∼ ln x dx = ln x dx = n ln n − n + 1 ∼ n ln n.
n→+∞ n→+∞
k=2 k=2 k−1 1

Donc,

ln(n!) = n ln n + o(n ln n) ou encore n! = nn × eo(n ln n) .

n→+∞ n→+∞

http ://www.maths-france.fr 1 © Jean-Louis Rouget, 2022. Tous droits réservés.

2) b) Equivalent de Ln(n !)-nLnn .
n
X
Pour n > 1, posons un = ln(n!) − n ln n = ln k − n ln n.
k=1
 
1
un+1 − un = ln(n + 1) − ((n + 1) ln(n + 1) − n ln n) = −n(ln(n + 1) − ln n) = −n ln 1 + ∼ −1.
n n→+∞
D’après la règle de l’équivalence des sommes partielles de séries à termes de signe constant à partir d’un certain rang,
divergentes, on a :
n−1
X n−1
X
un − u1 = (uk+1 − uk ) ∼ (−1) = −(n − 1),
n→+∞
k=1 k=1

ce qui fournit un ∼ un − u1 ∼ −(n − 1) ∼ −n.

n→+∞ n→+∞ n→+∞
 n n
ln(n!) = n ln n − n + o(n) ou encore n! = × eo(n) .
n→+∞ n→+∞ e
2) c) Equivalent de Ln(n !)-nLnn+n .
n
X
Pour n ≥ 1, posons un = ln k − n ln n + n. Quand n tend vers +∞
k=1
   
1 1 1 1
un+1 − un = ln(n + 1) − ((n + 1) ln(n + 1) − n ln n) + 1 = 1 − n ln 1 + =1−1+ +o ∼ .
n 2n n n→+∞ 2n
1 1
Donc, la série de terme général étant divergente et étant positif,
2n 2n

n−1
X n−1
X 1 1
un = u1 + (uk+1 − uk ) ∼ u1 + ∼ ln(n − 1) (d’après l’étude de la série harmonique)
n→+∞ 2k n→+∞ 2
k=1 k=1
1
∼ ln(n).
n→+∞ 2
Donc
1  n n √
ln(n!) = n ln n − n + ln n + o(ln n) ou encore n! = n × eo(ln n) .
n→+∞ 2 n→+∞ e
 n n √
2) d) Convergence de la suite n.
e
n
X 1
Pour n > 1, posons un = ln k − n ln n + n − ln n. Quand n tend vers +∞,
2
k=1
       
1 1 1 1 1 1
un+1 − un = 1 − n + ln 1 + = 1− n+ − +O
2 n n→+∞ 2 n 2n2 n3
   
1 1 1 1
= 1−1− + +O = O .
n→+∞ 2n 2n n2 n→+∞ n2
Ainsi, la série de terme général un+1 − un converge et on sait qu’il en est de même de la suite (un ).
1
Soit ℓ = lim un . Alors, ln(n!) − n ln n + n − ln n = ℓ + o(1) et donc,
n→+∞ 2 n→+∞

1  n n √
∃ℓ ∈ R/ ln(n!) = n ln n − n + ln n + ℓ + o(1) ou encore, ∃K ∈]0, +∞[/ n! ∼ K n (en posant K = eℓ ).
n→+∞ 2 n→+∞ e
3) Détermination de K et formule de Sirling.
Z π/2
L’étude des intégrales de Wallis (à savoir Wn = sinn t dt, n ∈ N) montre que
0
π (2n)!
• d’une part, pour tout entier naturel n, W2n =
× 2n 2
2 r 2 n!
π
• d’autre part, quand n tend vers +∞, Wn ∼ .
n→+∞ 2n
D’après 4), on a alors

http ://www.maths-france.fr 2 © Jean-Louis Rouget, 2022. Tous droits réservés.

 2n
√

2n √
r K 2n
π π (2n)! π e 1π 2
∼ W2n = × 2n 2 ∼ ×  n 2n = √ ,
4n n→+∞ 2 2 n! n→+∞ 2 K2 n
K2 22n n
e
√
1 π π √
et donc √ = ou encore K = 2π. On a ainsi montré que
K 2 2
 n n √
n! ∼ 2πn (formule de Stirling).
n→+∞ e

1 √
4) Equivalent de ln(n!) − n ln n + n − ln n − ln( 2π).
2
1 √
D’après ce qui précède, si pour n > 1, un = ln(n!) − n ln n + n − ln n alors un = ℓ + o(1) avec ℓ = ln K = ln( 2π).
2 n→+∞
n−1 +∞
X √ X
Comme un = u1 + (uk+1 − uk ), quand n tend vers +∞, on obtient ln( 2π) = u1 + (uk+1 − uk ) puis, pour n ≥ 1 :
k=1 k=1

n−1 +∞ +∞ 
√ X X X    
1 1
un − ln( 2π) = (uk+1 − uk ) − (uk+1 − uk ) = 1− k+ ln 1 + .
2 k
k=1 k=1 k=n

Maintenant, quand n tend vers +∞, on a

           
1 1 1 1 1 1 1 1 1 1 1 1
1− n+ ln 1 + = 1− n+ − + +o = − +o = +o
2 n 2 n 2n2 3n3 n3 4n2 6n2 n2 12n2 n2
 
1 1 1 1 1
∼ ∼ = − .
n→+∞ 12n2 n→+∞ 12n(n + 1) 12 n n + 1

La règle de l’équivalence des restes de séries à termes positifs convergentes permet d’affirmer que
+∞ +∞
√ X X  
1 1 1 1
un − ln( 2π) = (uk+1 − uk ) ∼ − = (série télescopique).
n→+∞ 12 n n + 1 12n
k=n k=n

Donc
√
 
1 1 1
ln(n!) = n ln n − n + ln n + ln( 2π) + +o ,
n→+∞ 2 12n n
ou encore
 n n √ 
1
 
1
n! = 2πn 1 + +o .
n→+∞ e 12n n

http ://www.maths-france.fr 3 © Jean-Louis Rouget, 2022. Tous droits réservés.