Probl

`
emes de Math

ematiques
Formule de Stirling am

elior

ee

Enonce
Formule de Stirling amelioree
Lobjet de ce probl`eme est de prouver la formule n! = n
n
e
n

2n
_
1 +
1
12n
+ o
_
1
n
__
1. On pose, pour tout entier naturel n, I
n
=
_
/2
0
sin
n
t dt.
(a) Montrer que la suite (I
n
) est strictement decroissante et minoree. [ S]
(b) Montrer que pour tout n 2, on a nI
n
= (n 1)I
n2
. [ S]
(c) En deduire I
2n
et I
2n+1
`a laide de factorielles. [ S]
(d) Prouver que I
n+1
I
n
quand n . [ S]
(e) En deduire la formule de Wallis : = lim
n
2
4n
(n!)
4
n (2n)!
2
. [ S]
2. On pose, pour tout n de IN

, S
n
= (n +
1
2
) ln n n ln(n!).
(a) Montrer que S
n+1
S
n

1
12n
2
. [ S]
(b) En deduire que la suite (S
n
) converge vers un reel . [ S]
(c) Montrer que, lorsque n tend vers +, n
n
e
n

n e

n!. [ S]
3. A laide de la question 1d), montrer que =
1
2
ln(2).
En deduire la formule de Stirling : n! n
n
e
n

2n. [ S]
4. Soient

u
n
et

v
n
deux series `a termes reels positifs, convergentes.
Pour tout entier n, on note R
n
=
+

k=n+1
u
k
et T
n
=
+

k=n+1
v
k
.
(a) On suppose que u
n
v
n
. Montrer que R
n
T
n
. [ S]
(b) En deduire que si u
n

1
n
2
, alors R
n

1
n
. [ S]
(c) Appliquer ce qui prec`ede `a u
n
= 12(S
n
S
n1
), et montrer que S
n

1
12n
. [ S]
(d) En deduire nalement que n! = n
n
e
n

2n
_
1 +
1
12n
+ o
_
1
n
__
. [ S]
Page 1 Jean-Michel Ferrard www.klubprepa.net c EduKlub S.A.
Tous droits de lauteur des uvres reserves. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et privee sont interdites.
Probl
`
emes de Math

ematiques
Formule de Stirling am

elior

ee
Corrige
Corrige 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 < I
n+1
< I
n
.
La suite (I
n
) est donc strictement decroissante et minoree par 0. [ Q]
(b) On proc`ede `a une integration par parties, pour tout n 2 :
I
n
=
_
/2
0
sin t sin
n1
t dt =
_
cos t sin
n1
t

/2
0
. .
=0
+(n 1)
_
/2
0
cos
2
t sin
n2
t dt.
On en deduit I
n
= (n 1)
_
/2
0
(1 sin
2
t) sin
n2
t dt = (n 1)(I
n2
I
n
).
Il en decoule eectivement la relation : n 2, nI
n
= (n 1)I
n2
. [ Q]
(c) Calcul de I
2n
:
La relation precedente donne 2nI
2n
= (2n 1)I
2(n1)
.
On en deduit I
2n
=
2n 1
2n
2n 3
2(n 1)

3
4
1
2
I
0
. Or I
0
=

2
.
Donc I
2n
=
(2n 1)(2n 3) 3 1
2
n
n!

2
=
(2n)!
2
2n
(n!)
2

2
(valable si n = 0).
Calcul de I
2n+1
:
La relation de (1-b) donne I
2n+1
=
2n
2n + 1
I
2(n1)+1
=
2n
2n + 1
2(n 1)
2n 1

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

2
4n
(n!)
4
n(2n)!
2
1

.
Puisque lim
n
I
2n+1
I
2n
= 1, on obtient lim
n
2
4n
(n!)
4
n(2n)!
2
= . [ Q]
2. (a) Pour tout n 1,
S
n+1
S
n
= (n +
3
2
) ln(n + 1) n 1 ln(n + 1)! (n +
1
2
) ln n +n + ln n!
= (n +
1
2
) ln(1 +
1
n
) 1 =
_
n +
1
2
__
1
n

1
2n
2
+
1
n
3
+ o
_
1
n
3
__
1
=
1
12n
2
+ o
_
1
n
2
_
On a donc S
n+1
S
n

1
12n
2
. [ Q]
Page 2 Jean-Michel Ferrard www.klubprepa.net c EduKlub S.A.
Tous droits de lauteur des uvres reserves. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et privee sont interdites.
Probl
`
emes de Math

ematiques
Formule de Stirling am

elior

ee
Corrige
(b) On sait que la serie

(S
n+1
S
n
) a la meme nature que la suite (S
n
).
Puisque la serie

(S
n+1
S
n
) est convergente (par comparaison avec une serie de
Riemann), il en est de meme de la suite (S
n
). On pose lim
n
= IR. [ Q]
(c) Pour tout n de IN

, S
n
= ln
_
n
n+1/2
e
n
1
n!
_
= ln
_
n
n
e
n

n
n!
_
.
Dapr`es ce qui prec`ede : lim
n
n
n
e
n

n
n!
= e

et donc n
n
e
n

n e

n!. [ Q]
3. Legalite precedente donne n! e

n
n
e
n

n et donc aussi (2n)! e

(2n)
2n
e
2n

2n.
On en deduit
2
4n
n!
4
n(2n)!
2

2
4n
e
4
n
4n
e
4n
n
2
ne
2
(2n)
4n
e
4n
(2n)

e
2
2
.
Puisque lim
n
2
4n
n!
4
n(2n)!
2
= , on trouve
e
2
2
= et donc =
1
2
ln(2).
Puisque e

2, le resultat n! e

n
n
e
n

n devient n! n
n
e
n

2n. [ Q]
4. (a) Soit > 0. Par hypoth`ese u
n
v
n
= o(v
n
).
Il existe donc un entier n
0
tel que, pour tout n n
0
, |u
n
v
n
| v
n
.
Ainsi, pour tout n n
0
:
|R
n
T
n
| =

k=n+1
(u
n
v
n
)

k=n+1
|u
n
v
n
|

k=n+1
v
n
= T
n
.
Ce resultat signie que R
n
T
n
= o(T
n
), cest-`a-dire R
n
T
n
. [ Q]
(b) Supposons u
n

1
n
2
. Alors u
n

1
n(n 1)
=
1
n 1

1
n
.
Ainsi : R
n

+

k=n+1
_
1
k 1

1
k
_
= lim
m
m

k=n+1
_
1
k 1

1
k
_
= lim
m
_
1
n

1
m
_
=
1
n
.
[ Q]
(c) On a bien u
n

1
n
2
. On en deduit R
n

1
n
.
Mais : R
n
=
+

k=n+1
12(S
k
S
k1
) = 12 lim
m
m

k=n+1
(S
k
S
k1
)
= 12 lim
m
(S
m
S
n
) = 12( S
n
).
Ainsi 12( S
n
)
1
n
et donc S
n

1
12n
. [ Q]
(d) On a S
n
= ln
_
n!
n
n
e
n

2n
_
=
1
12n
+ o
_
1
n
_
On en deduit
n!
n
n
e
n

2n
= exp
_
1
12n
+ o
_
1
n
__
= 1 +
1
12n
+ o
_
1
n
_
.
Autrement dit : n! = n
n
e
n

2n
_
1 +
1
12n
+ o
_
1
n
__
[ Q]
Page 3 Jean-Michel Ferrard www.klubprepa.net c EduKlub S.A.
Tous droits de lauteur des uvres reserves. Sauf autorisation, la reproduction ainsi que toute utilisation des uvres autre que la consultation
individuelle et privee sont interdites.