Formule de Stirling

1) Equivalent de ln(n!) quand n tend vers +. vers +, on a

k k1

Soit k un entier naturel suprieur ou gal 2. On a ln(k 1)

k

ln x dx ln k. Puisque ln(k 1) ln k quand k tend

ln x dx
k1

Comme la srie de terme gnral ln k diverge, la rgle de lquivalence des sommes partielles de sries termes positifs divergentes permet darmer que, quand n tend vers +
n n k n

k +

ln k 0.

ln(n!) =

ln k

ln x dx =

ln x dx = n ln n n + 1

k=2

k=2 k1

n +

n ln n.

Donc, ln(n!)
n +

n ln n + o(n ln n) ou encore n!

2/ Equivalent de Ln(n !)-nLnn .

n +

nn eo(n ln n) .

Pour n 1, posons un = ln(n!) n ln n =

k=1

ln k n ln n. Pour n 1, on a 1 n 1.

un+1 un = ln(n + 1) ((n + 1) ln(n + 1) n ln n) = n(ln(n + 1) ln n) = n ln 1 +

Daprs la rgle de lquivalence des sommes partielles de sries termes positifs divergentes, on a :
n n1

n +

un u1 = ce qui fournit un un u1

(uk+1 uk )
k=1

n +

(1) = (n 1),
k=1

n +

n +

(n 1)

n +

n. = n eo(n) . e

ln(n!)

3/ Equivalent de Ln(n !)-nLnn+n .

n

n +

n ln n n + o(n) ou encore n!

n +

Pour n 1, posons un =

k=1

ln k n ln n + n. Quand n tend vers + 1 n =11+ 1 +o 2n 1 n 1 . 2n

un+1 un = ln(n + 1) ((n + 1) ln(n + 1) n ln n) + 1 = 1 n ln 1 +

Donc, la srie de terme gnral un tant toujours divergente et un tant de signe constant pour n grand
n1 n1 n

un = u1 +
k=1

(uk+1 uk ) + u1 +

k=1

1 + ln n (daprs ltude de la srie harmonique). 2k n n e

n

Donc ln(n!)
n + n

n ln n n + n e
n

4) Convergence de la suite Pour n 1, posons un =

n.

1 ln n + o(ln n) ou encore n! = n + 2 1 ln n. Quand n tend vers +, 2 1

n eo(ln n) .

ln k n ln n + n
k=1

http ://www.maths-france.fr

c Jean-Louis Rouget, 2008. Tous droits rservs.

un+1 un = 1 n +

1 2

ln 1 +

1 n

= 1 n +

1 2

1 1 +O n 2n2

1 n3

= 11

1 1 + +O 2n 2n

1 n2

=O

1 . n2

Ainsi, la srie de terme gnral un+1 un converge et on sait quil en est de mme de la suite (un ). 1 Soit = lim un . Alors, ln(n!) n ln n + n ln n = + o(1) et donc, n + n + 2 R/ ln(n!)
n +

n ln n n +

5) Dtermination de K et formule de Sirling. Ltude des intgrales de Wallis ( savoir Wn =

0

1 n ln n + + o(1) ou encore, K ]0, +[/ n! K n + 2 e

/2

n (en posant K = e ).

sinn t dt, n N) montre que

Daprs 4), on a alors

(2n)! 2n 2 2 2 n! dautre part, quand n tend vers +, Wn . n + 2n dune part, pour tout entier naturel n, W2n = K 2n e
2n

4n

n +

W2n

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

n +

2n
2n

K2 22n

n e

1 2 , = K2 n

et donc

1 = ou encore K = 2. On a ainsi montr que K 2 2 n! n e

n

n +

2n (formule de Stirling).

1 ln n ln( 2). 2 1 Daprs ce qui prcde, si pour n 1, un = ln(n!) n ln n + n ln n alors un = + o(1) avec = ln K = ln( 2). n + 2 n1 + Comme un = u1 + (uk+1 uk ), quand n tend vers +, on obtient ln( 2) = u1 + (uk+1 uk ) puis, pour n 1 : 6) Equivalent de ln(n!) n ln n + n
k=1 k=1 n1 + (uk+1 uk ) (uk+1 uk ) = un ln( 2) = k=1 k=1 + k=n

1 k+

1 2

ln 1 +

1 k

Maintenant, quand k tend vers +, on a 1 n+ 1 2 ln 1 + 1 n = 1 n+ 1 1 1 1 + +o n 2n2 3n3 n3 1 1 1 1 1 . = 12n2 12n(n + 1) 12 n n + 1 1 2 = 1 1 +o 4n2 6n2 1 n2 = 1 +o 12n2 1 n2

La rgle de lquivalence des restes de sries termes positifs convergentes permet darmer que un ln( 2) = Donc ln(n!) = n ln n n + ou encore n! = n e
n +

(uk+1 uk )

+ k=n

k=n

1 12

1 1 n n+1

1 (srie tlescopique). 12n

1 1 ln n + ln( 2) + +o 2 12n

1 , n

n +

1 2n 1 + +o 12n 2

1 n

http ://www.maths-france.fr

c Jean-Louis Rouget, 2008. Tous droits rservs.