`mes de Mathe

matiques
Proble
liore
e
Formule de Stirling ame

Enonc
e

Formule de Stirling am
elior
ee
n n

Lobjet de ce probl`eme est de prouver la formule n! = n e

Z

1
2n 1 +
+o
12n

 
1
n

/2

1. On pose, pour tout entier naturel n, In =

sinn t dt.

(a) Montrer que la suite (In ) est strictement decroissante et minoree. [ S ]

(b) Montrer que pour tout n 2, on a nIn = (n 1)In2 . [ S ]
(c) En deduire I2n et I2n+1 `a laide de factorielles. [ S ]
(d) Prouver que In+1 In quand n . [ S ]
24n (n!)4
. [S]
n n (2n)!2

(e) En deduire la formule de Wallis : = lim

1
2. On pose, pour tout n de IN , Sn = (n + ) ln n n ln(n!).
2
1
(a) Montrer que Sn+1 Sn
. [S]
12n2
(b) En deduire que la suite (Sn ) converge vers un reel . [ S ]

(c) Montrer que, lorsque n tend vers +, nn en n e n!. [ S ]

1
3. A laide de la question 1d), montrer que = ln(2).
2

En deduire la formule de Stirling : n! nn en 2n. [ S ]

P
P
4. Soient
un et
vn deux series `a termes reels positifs, convergentes.
+
+
X
X
Pour tout entier n, on note Rn =
uk et Tn =
vk .
k=n+1

k=n+1

(a) On suppose que un vn . Montrer que Rn Tn . [ S ]

1
1
(b) En deduire que si un 2 , alors Rn . [ S ]
n
n
1
(c) Appliquer ce qui prec`ede `a un = 12(Sn Sn1 ), et montrer que Sn
. [S]
12n

 1 

1
(d) En deduire finalement que n! = nn en 2n 1 +
+o
. [S]
12n
n

c
Page 1
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
liore
e
Formule de Stirling ame
Corrige

Corrig
e du probl`
eme
1. (a) Pour tout t de ]0, /2[, et tout n de IN : 0 < sin t < 1 0 < (sin t)n+1 < (sin t)n .
On en deduit par integration de 0 `a /2 : n IN, 0 < In+1 < In .
La suite (In ) est donc strictement decroissante et minoree par 0. [ Q ]
(b) On proc`ede `a une integration par parties, pour tout n 2 :
Z /2
Z /2


n1 /2
n1
In =
sin t sin
t dt = cos t sin
t 0 +(n 1)
cos2 t sinn2 t dt.
|
{z
}
0
0
=0
Z /2
On en deduit In = (n 1)
(1 sin2 t) sinn2 t dt = (n 1)(In2 In ).
0

Il en decoule effectivement la relation : n 2, nIn = (n 1)In2 . [ Q ]

(c) Calcul de I2n :
La relation precedente donne 2nI2n = (2n 1)I2(n1) .
31

2n 1 2n 3

I0 . Or I0 = .
On en deduit I2n =
2n 2(n 1)
42
2
(2n 1)(2n 3) 3 1
(2n)!
Donc I2n =
= 2n
(valable si n = 0).
n
2 n!
2
2 (n!)2 2
Calcul de I2n+1 :
2n
2n 2(n 1)
42
La relation de (1-b) donne I2n+1 =
I2(n1)+1 =

I1 .
2n + 1
2n + 1 2n 1
53
2n n!
22n (n!)2
Or I1 = 1. Donc I2n+1 =
=
(valable si n = 0).
(2n + 1)(2n 1) 3
(2n + 1)!
[Q]
In+1
In+2
<
< 1.
(d) Pour tout n de IN, on a : 0 < In+2 < In+1 < In et donc 0 <
In
In
In+2
n+1
Or
=
tend vers 1 quand n tend vers +.
In
n+2
In+1
On en deduit lim
= 1, cest-`a-dire In+1 In . [ Q ]
n In
I2n+1
24n (n!)4
2
24n (n!)4 1
(e) Pour tout n de IN,
=

.
I2n
(2n + 1) (2n)!2
n (2n)!2
I2n+1
24n (n!)4
Puisque lim
= 1, on obtient lim
= . [ Q ]
n I2n
n n (2n)!2
2. (a) Pour tout n 1,
3
1
Sn+1 Sn = (n + ) ln(n + 1) n 1 ln(n + 1)! (n + ) ln n + n + ln n!
2
2

 1 
1
1
1  1
1
1
= (n + ) ln(1 + ) 1 = n +
2 + 3 +o 3
1
2  n
2 n 2n
n
n
1
1
=
+o 2
2
12n
n
1
On a donc Sn+1 Sn
. [Q]
12n2
c
Page 2
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.

`mes de Mathe
matiques
Proble
liore
e
Formule de Stirling ame
Corrige

P
(b) On sait que la serie (Sn+1 Sn ) a la meme nature que la suite (Sn ).
P
Puisque la serie (Sn+1 Sn ) est convergente (par comparaison avec une serie de
Riemann), il en est de meme de la suite (Sn ). On pose lim = IR. [ Q ]
n




n n
n
n e

n+1/2 n 1
.
(c) Pour tout n de IN , Sn = ln n
e
= ln
n!
n!

nn en n
Dapr`es ce qui prec`ede : lim
= e et donc nn en n e n!. [ Q ]
n
n!

n n
3. Legalite precedente donne n! e n e
n et donc aussi (2n)! e (2n)2n e2n 2n.
24n e4 n4n e4n n2
e2
24n n!4

.
On en deduit
n (2n)!2
n e2 (2n)4n e4n (2n)
2
24n n!4
e2
1
Puisque lim
=
,
on
trouve
= et donc = ln(2).
2
n n (2n)!
2
2

n n
Puisque e = 2, le resultat n! e n e
n devient n! nn en 2n. [ Q ]
4. (a) Soit > 0. Par hypoth`ese un vn = o(vn ).
Il existe donc un entier n0 tel que, pour tout n n0 , |un vn | vn .
Ainsi, pour tout n n0 :

 X

X
X


|Rn Tn | = 
(un vn )
|un vn |
vn = Tn .
k=n+1

k=n+1

k=n+1

Ce resultat signifie que Rn Tn = o(Tn ), cest-`a-dire Rn Tn . [ Q ]

1
1
1
1
(b) Supposons un 2 . Alors un
=
.
n
n(n 1)
n1 n
+
m
1
X  1
X  1
1
1
1
1
Ainsi : Rn

= lim

= lim

= .
m
m n
k1 k
k1 k
m
n
k=n+1
k=n+1
[Q]
1
1
(c) On a bien un 2 . On en deduit Rn .
n
n
+
m
X
X
Mais : Rn =
12(Sk Sk1 ) = 12 lim
(Sk Sk1 )
k=n+1

k=n+1

= 12 lim (Sm Sn ) = 12( Sn ).

m

1
1
Ainsi 12( Sn ) et donc Sn
. [Q]
n
12n


1
1
n!

(d) On a Sn = ln
=
+o
12n
n
nn en 2n


1
n!
1
1 
1

On en deduit
= exp
+o
=1+
+o
.
12n
n
12n
n
nn en 2n

 1 

1
Autrement dit : n! = nn en 2n 1 +
+o
[Q]
12n
n

c
Page 3
Jean-Michel Ferrard
www.klubprepa.net
EduKlub
S.A.
Tous droits de lauteur des uvres r
eserv
es. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et priv
ee sont interdites.