La formula de Stirling

Luis Carlos Garca Lirola

16 de septiembre de 2009

Ahora que he ledo Methodus

Differentialis diligentemente, estoy
verdaderamente sorprendido por la
gran abundancia de metodos
excelentes que incluye un volumen tan
peque
no, por medio de los cuales Ud.
muestra como sumar con facilidad
series que convergen lentamente y
como interpolar progresiones que son
muy difciles de tratar.
Carta de Euler a Stirling
(8 de junio de 1736) [7]

1.

Introducci
on

El presente trabajo tiene como objetivo presentar la formula de Striling, junto con dos
demostraciones de la misma, de manera que sean accesibles a alumnos de primer curso
de licenciatura. Tambien veremos aplicaciones de la formula en la demostracion de otros
resultados, y como se utiliza como aproximacion en combinatioria o probabilidad, donde
son frecuentes los factoriales.

1.1.

Conocimientos previos

Antes de centrarnos en la formula de Striling, necesitamos conocer algunos resultados

importantes que utilizaremos para su demostracion. El primero de ellos es una curiosa
formula que data de 1655 y puede ser utilizada para el calculo de , aunque no de forma
eficiente. Fue demostrada por el matematico ingles John Wallis (1616-1703):
Teorema 1 (Producto de Wallis).


Y
2k
2k
2 2 4 4 6 6...
=
=
2 k=1 2k 1 2k + 1
1 3 3 5 5 7...
1

Demostracion. Se puede encontrar en Lecciones de Analisis Matematico I, de Jose Antonio

Fernandez Vi
na (pag. 276)
Corolario 2.

1 Y 2k
lm
=
n
n k=1 2k 1
Demostracion. Basta con operar adecuadamente el producto anterior:



n 
Y
Y

2k
2k
2k
2k
=
= lm
n
2
2k

1
2k
+
1
2k 1 2k + 1
k=1
k=1
!2 n

n
n 
Y
Y
Y 2k 1
2k
(2k)2 2k 1
=
l
m
= lm

n
n
(2k 1)2 2k + 1
2k 1
2k + 1
k=1
k=1
k=1
!
!
2
2
n
n
Y
Y
2k
1
2k
1
= lm
= lm

n
2k 1
2n + 1 n k=1 2k 1
2n
k=1
De donde se obtiene el resultado buscado.
La siguiente funcion extiende la funcion factorial definida en los numeros naturales.
Fue introducida por primera vez en una carta que escribio Leonhard Euler a Christian
Goldbach en 1729. La notacion con la que la presentamos es debida a Legrende.
Teorema 3 (Funcion Gamma). Sea la funcion : (0, +) R
Z
xp1 ex dx
(p) :=
0

1. La integral anterior es convergente para todo p > 0, es decir, la funcion esta bien
definida
2. La funcion cumple la ecuacion funcional p(p) = (p + 1)
3. Para cada entero n 1, se tiene que (n + 1) = n!
Demostracion. Si 0 < p < 1 la integral tambien es impropia en 0, donde es convergente
1
, al ser 1 p < 1:
por comparacion con x1p
xp1 ex
= lm ex = 1
x0 1/x1p
x0
lm

Para cualquier p resolvemos la singularidad en + por comparacion con

convergente.
xp1 ex
xp1
lm
=
l
m
=0
x ex/2
x ex/2
R
Por lo que 0 xp1 ex dx es convergente.
2

1
,
ex/2

que es

Figura 1: Area
bajo la funcion ex

Para obtener la ecuacion funcional integramos por partes con u = xp , du = pxp1 , dv =

e , v = ex
Z +
Z a
p x
x e dx = lm
xp ex dx
(p + 1) =
a
0


Z 0a
 p x a
p1 x
= lm
x e 0 + p
x e dx
a
0
Z a


p a
p 0
= lm a e + 0 e
+ lm p
xp1 ex dx
a
a
0
Z +
= 0+p
xp1 ex dx = p(p)
x

R
La u
ltima ecuacion la probamos por induccion. En primer lugar, (1) = 0 ex dx =
a
lma [ex ]0 = lma e1a +e0 = 1 = 1!. A continuacion, supongamos que (n) = (n
1)!. Usando la ecuacion funcional anterior, tenemos que (n+1) = n(n) = n(n1)! = n!,
como queramos probar.

El u
ltimo teorema que necesitamos lo introduciremos a traves de una anecdota. Esta
muestra la admiracion de William Thomson, fsico y matematico irlandes tambien conocido como Lord Kelvin, por el frances Joseph Liouville, el primero en demostrar la existencia
de n
umeros trascendentes.

Teorema 4 (Area
bajo la campana de Gauss). Un da Lord Kelvin estaba impartiendo
clase en la Universidad de Glasgow y pregunto a sus alumnos:
- Saben que es un matematico?
Entonces escribio en la pizarra la siguiente ecuacion:
Z

2
ex dx =

- Un matematico - dijo se
nalando la pizarra - es alguien para el que esto es tan obvio
como que dos y dos son cuatro para ustedes. Liouville era un matematico!
Demostracion. Si el lector todava no es un matematico, puede encontrarla en Lecciones
de Analisis Matematico I, de Jose Antonio Fernandez Vi
na (pag. 277) o en An
alisis
Matematico II, del mismo autor (pag. 253)
3

2.

La formula de Stirling

Este resultado, tema central del trabajo, permite dar una aproximacion de n! para
valores grandes de n.
Teorema 5 (Formula de Stirling).
n!
lm
=1
n
2nnn en
Es decir, las sucesiones n! y

2.1.

2nnn en son equivalentes.

Algunas notas hist

oricas

La formula anterior fue demostradada en 1730 por el matematico escoces James Stirling (1692-1770), en la proposicion 28 de su obra Methodus Differentialis. Este libro es
un tratado sobre series infinitas, suma, interpolacion y cuadratura. Trabajo ademas en
la ventilacion de pozos de minas, en la forma de la Tierra y en la variacion de gravedad
en su superficie. Tambien cabe rese
nar una contribucion no matematica: inspecciono el
ro Clyde con el fin de hacerlo navegable, mediante una serie de esclusas, para facilitar
el paso hasta Glasgow. Sus vecinos, agradecidos, le regalaron una tetera de plata por su
servicio, sufrimientos y preocupacion [9].
Pero la formula de Stirling debe mucho a Abraham de Moivre (1667 - 1754). Este
matematico frances realizo importantes trabajos en distribucion normal y probabilidad,
aunque es conocido principalmente por su formula trigonometrica:
(cos x + i sin x)n = cos(nx) + i sin(nx)
Fue elegido un miembro de Royal Society de Londres en 1697, y tuvo amistad con
Edmund Halley y Isaac Newton. Toda su vida fue pobre y acostumbraba a ganar algo de
dinero jugando al ajedrez.

En su libro Miscellanea Analytica, publicado en 1730, obtuvo que n! cnn nen ,

aunque sin determinar el valor de la constante c. En la segunda edicion de 1738 da la
formula final, otorgando el credito a Stirling [8]:
Desist en seguir adelante cuando mi buen amigo Mr.
James Stirling, quien
me haba seguido en la investigacion, descubrio que c = 2.
En la etapa final de su vida, de Moivre se sumio en un estado de letargo, durmiendo
20 horas al da. Se dio cuenta de que cada da dorma un cuarto de hora mas, por lo que
conjeturo que morira cuando durmiese durante 24 horas. Ese da, calculado por el mismo,
era el 27 de noviembre de 1754. Estaba en lo cierto. La causa oficial quedo registrada como
somnolencia.

Figura 2: Abraham de Moivre

2.2.

Demostraci
on mediante el producto de Wallis

Necesitaremos un resultado auxiliar:

Lema 6. Para todo entero k 1, se tiene que

3 k1
5

3
.
2k+1

11
3
Demostracion. Lo probamos mediante induccion. Para k = 1, 35
= 1 = 2+1
, luego se
cumple. Supongamos que el resultado es cierto para un entero k. Entonces, para k + 1:
3
2k + 1
3
=

2(k + 1) + 1
2k + 1 2k + 3

 k1
 k1
 k
3
3
3
2k + 1
3

=
5
2k + 3
5
5
5

Donde la u
ltima desigualdad es cierta ya que:
2k + 1
3

5(2k + 1) 3(2k + 3) 10k + 5 6k + 9 4k 4 k 1

2k + 3
5

Deduciremos la formula de Stirling de la siguiente desigualdad:

Teorema 7. Para cada entero n 2 se cumple que:
1

e 12n+1/4 <

1
n!
< e 12n
n
n
2ne n

Demostracion. Usaremos primero que, para |x| < 1:



X (1)k1 xk X xk
X x2k+1
1+x
log
= log(1 + x) log(1 x) =

=2
1x
k
k
2k + 1
k1
k1
k0

Tomando en lo anterior x =


1
n+
2

Por (1), y puesto que



1
n+
2

1
2n+1

1
3

< 1, tenemos que:





1
2n + 1
1 + 1/(2n + 1)
log 1 +
1 =
log
1
n
2
1 1/(2n + 1)
2n + 1 X (1/(2n + 1))2k+1
=
2
1
2
2k
+
1
k0
X
1
=
1
2k
(2n
+
1)
(2k
+
1)
k0
X
1
=
2k
(2n + 1) (2k + 1)
k1
1
2k+1

(1)

13 , tenemos:



1
1X
1
log 1 +
1
n
3 k1 (2n + 1)2k

1
1
1
1
1 1/(2n + 1)2
=
=
(suma de una serie geometrica) =
2
2
3 1 1/(2n + 1)
3 (2n + 1) 1
3 4n(n + 1)
1
1

(2)
(en fracciones simples) =
12n 12(n + 1)
Por otra parte, y de nuevo a partir de (1), tenemos que, para n 2:




X
1
1
1
n+
log 1 +
1 =
2
n
(2k + 1)(2n + 1)2k
k1
X
3
1
(reorganizando) =
2
3(2n + 1) k1 (2k + 1)(2n + 1)2k2
!
X  3 k1
1
1
(usando el lema 6)
3(2n + 1)2 k1
5
(2n + 1)2k2
k1
X
1
3
(reorganizando de nuevo) =
3(2n + 1)2 k1 5(2n + 1)2
(suma de la serie geometrica) =

1
1
1
=
3
2
3(2n + 1) 1 5(2n1)2
3(2n + 1)2 9/5

1
12
=
2
+ 12n + 6/5
144n + 144n + 72/5
49
72
12
(n 2 6n +
> 12 + 3 > ) >
2
16
5
144n + 150n + 49/16
1
1
=

(3)
12n + 1/4 12(n + 1) + 1/4

(operando y multiplicando por 12) =

12n2

Para una mayor brevedad, sean:

1
1
n!
xn = e 12n+1/4 , yn = e 12n , an = n!en n(n+1/2) = n n
nn e

(4)

Observemos que las tres sucesiones son positivas, lmn xn = lmn yn = 1 y que:

n+1/2
an
n!en n(n+1/2)
1
en n!(n + 1)(n + 1)n+1/2
1
=
1+
=
=
an+1
(n + 1)!en+1 (n + 1)(n+1+1/2)
en+1 (n + 1)!nn+1/2
e
n
Supondremos en lo sucesivo que n 2. Utilizando las desigualdades (2) y (3), tenemos
que:
1
1
xn+1
= e 12(n+1)+1/4 + 12n+1/4
xn

n+1/2
1
1
an
(n+1/2) log(1+1/n)1
(desigualdad (3)) < e
=
1+
=
e
n
an+1
1
1
y
n+1
(desigualdad (2)) < e 12(n+1) + 12n =
yn
En resumen,

an
yn+1
xn+1
<
<
xn
an+1
yn

(5)

an
Ademas xn+1 /xn > e0 = 1, por lo que an+1
> 1 an > an+1 . Es decir, la sucesion
(an ) es monotona decreciente y esta acotada inferiormente por 0, por tanto tiene lmite.
Sea a := lm an . A partir de (5) deducimos que an xn > an+1 xn+1 y que an yn < an+1 yn+1 ,
es decir an xn es decreciente y an yn es creciente. Tomando lmites:

an xn < an1 xn1 lm an xn lm an1 1 lm an xn a

an xn > an+1 xn+1 lm an xn lm an+1 1 lm an xn a
Por lo que lm an xn = a. Analogamente se ve que lm an yn = a. Lo anterior lo podemos
resumir en que:
0 < an yn < a < an xn
(6)
A continuacion utilizaremos la formula de Wallis (corolario 2)

=
=

(por (4), n! = an en nn+1/2 ) =

(agrupando) =
(cancelando) =

Q
n
1 Y 2k
1 ( nk=1 2k)2
lm
= lm
n
n k=1 2k 1 n n (2n)!
Q
22n ( nk=1 k)2
22n (n!)2
lm
= lm
n
n
n (2n)!
n(2n)!
22n (an en nn+1/2 )2
lm
n
n(a2n e2n (2n)2n+1/2 )
a2
n2n+1
22n
e2n
lm n 2n+1/2 2n+1/2 2n
n a2n
2
e
nn
2
2
a 1
a
a
lm n = =
n a2n
2
a 2
2
7

Por lo que a =

2. Sustituyendo este valor en (6) tenemos que:

an
x1
< yn1
n <
2

que es lo que queramos probar.

Corolario 8 (Formula de Stirling).
n!
lm
=1
2nnn en

Demostracion. Se obtiene directamente tomando lmites a partir de la expresion del teorema 7 y aplicando la regla del sandwich:
1
1
n!
1 = lm e 12n+1/4 lm
lm e 12n = 1
n
n
2nnn en n

2.3.

Demostraci
on mediante la funci
on Gamma

En este caso necesitaremos dos resultados auxiliares:



Lema 9. Para todo |x| 12 , x R se tiene que log(1 + x) x + 21 x2  23 |x|3
Demostracion. Utilizamos el desarrollo en serie de potencias del log(1 + x) (puesto que
|x| 12 < 1), la desigualdad triangular y la suma de la serie geometrica:

 





2
2
n1 n
n1 n 
X
X

(1) x
x  
(1) x  X |x|n
log(1 + x) x + x  = 

x
+
=






2
n
2   n3
n
n
n3
n1

1 X n 1 |x|3
1 |x|3
2

= |x|3
|x| =
3 n3
3 1 |x|
3 1 1/2
3

Lema 10. Para todo a, b R se tiene |ea eb | eb |a b|e|ab|

Demostracion. Bastara probar que |ex 1| |x|e|x| , x R. Tomando x = a b y
multiplicando por eb obtendremos el resultado buscado. Para ello utilizaremos de nuevo
el desarrollo en serie de potencias y la desigualdad triangular:

 

X x n
 X xn  X |x|n
X |x|n
X |x|n




|ex 1| = 
1 = 
= |x|
|x|
= |x|e|x|


 

n!
n!
n!
(n
+
1)!
n!
n0
n1
n0
n0
n1

Con ello podemos abordar la

Demostracion (de la formula de Stirling). Utilizando la funcion (x) definida en el teorema
3, tenemos que, para todo n N:
Z
Z a
n x
n! = (n + 1) =
x e dx = lm
xn ex dx
0

an

(n + y n)n e(n+y n) ndy = nn nen

y n yn

(1
+
) e
dy

a n
n
n

( x = n + y n, dx =
Donde se ha efectuado el cambio de variable y = xn
ndy). Por
n
tanto:
=

lm

n! = nn n

gn (y)dy, donde n N y gn (y) =

(
(1 +
0

y )n ey n
n

si y > n

si y n

(1)

R
R
2
Trataremos ahora de probar que lmn gn (y)dy = ey /2 dy. Para ello estimare

2
mos la diferencia entre gn (y) y ey /2 dy en dos casos: para |y| n/2 y para |y| > n/2.

1a Parte. Supondremos que |y| n/2. En ese caso, gn (y) = (1 + yn )n ey n , y

tambien podemos usar el lema 9 con x = |y|/ n Tenemos:






2
2


y
gn (y) e y2  = en log(1+ n )y n e y2 






2 
y
y 2  |n log(1+ yn )y+ y22 |
y2 
(usando el lema 10) e
n log(1 + n ) y + 2  e

3  
2
2  y  n 23  yn 3
y2
(n facor com
un y usando el lema 9) e n   e
3 n
3 2 |y|3
3 y2
2
y 2 |y|
y 2 2 |y|

(simplificando y usando la hipotesis) = e 2 e 3 n e 2 e 3

3 n
3 n
3
3
y2
y 2 |y|
y 2 |y|
(simplificando mas) e 2 e 3 = e 6
n
n

En definitiva:

y2
|y|3 y2
1
n
(2)
|gn (y) e 2 | e 6 , para |y|
2
n

2a Parte. Supongamos ahora que |y| > n/2. Si y n entonces gn (y) = 0 y

|y|
es obvio que 0 gn (y) e 6 Veremos que para y > n esta desigualdad tambien es
cierta.
Para ello consideremos la funcion f : (1, +) R dada por
x2
f (x) = x 65 2+x
log(1 + x), que es continua por ser suma de funciones continuas. Su
derivada es:


5 2x(2 + x) x2
1
x(x2 x + 4)
0
f (x) = 1

=
...
=
6
(2 + x)2
1+x
6(1 + x)(x + 2)2

Como x2 x + 4 no tiene races reales, f 0 (x) = 0 x(x2 x + 4) = 0 x = 0. Ademas

el denominador de f 0 (x) es siempre positivo, por lo que signo(f 0 (x)) = signo(x) lo que
implica que f es creciente en x > 0 y decreciente en 1 < x < 0. Por tanto, f alcanza un
mnimo absoluto enx = 0.
Tomando y > n tenemos que podemos aplicarle f a yn > 1 y ademas gn (y) 0.
De este modo:
2

y
y
y
5 yn
log(1 + )
0 = f (0) f ( ) =
y
n
n 6 2 + n
n

5 y2
y
n log(1 + )
0 y n
y
6 2 + n
n

y
5 y2
n log(1 + ) y n
6 2 + yn
n

n
5 y2
5 |y||y|
5 |y| 2
|y|
log(gn (y))

y
1
5

62+ n
62+ 2
6 2
6

|y|
gn (y) e 6 , para |y| > n/2, y > n

En definitiva,

|y|

0 gn (y) e 6 , para |y| >

n/2

(3)

De (2) se sigue que:

Z n
 Z n
Z n
Z n
 2
2
2
2
2
2
y
y
|y|3 y2

2 
2
e 6 =0
g
(y)

|g
(y)

e
|

 n

n

n
n
n
 n

n

2
2
2
2
Ya que esta u
ltima funcion es impar. Por tanto,

R 2n

n
2

gn (y) =

R 2n

y2

n
2

e 2

Por otra parte, de (3) y de la regla del sandwich se sigue que:

Z
Z
Z
Z

|y|
12n
6
y6
0 gn (y) e
= e = 6e
lm gn (y) = 0
n
2

n
2

n
2

n
2

R n

Analogamente tenemos que lmn 2 gn (y) = 0. De este modo:

!
Z n
Z
Z
Z n
2
2
gn (y) + gn (y) + gn (y)
lm
gn (y) = lm
n

Z
= lm
n

n
2

2n

y2

n
2

y2

e 2 =

n
2

(4)

Donde
ltima igualdad proviene del teorema 4, realizando el cambio de variable x =
la u
y/ 2. De (1) y (4) obtenemeos la formula de Stirling:
n!
lm
=1
n
2nnn en

10

2.4.

Estimaci
on del error

Hasta ahora hemos probado que n! 2nnn en , pero, como de buena es esta
aproximacion?. Para verlo nos hara falta un resultado previo:
Lema 11. Para todo x > 0 se cumple que ex 1 + x + 21 x2 ex
Demostracion. Es consecuencia del desarrollo en serie de potencias de ex

ex 1 + x + 21 x2 ex
P xn
P xn
x2
n=0 n! 1 + x + 2
n=0 n!
P xn
P xn
x2
n=2 n! 2
n=0 n!
P xn+2
P xn+2
1
n=0 (n+2)! 2
n=0 n!

Y la u
ltima desigualdad es cierta ya que 2 n + 2

El siguiente resultado nos da una estimacion del error:

Teorema 12. Para cada n 2:
0<
Demostracion. Sea sn =

1
1
n!
+
<1+
12n 277n2
2nnn en

n!
.
2nnn en

(1)

Por el teorema 7, tenemos que:

1

0 < e 12n+1/4 < sn

Lo que nos da la primera desigualdad. Para la segunda utilizamos de nuevo el teorema 7,
junto con el lema 11:
1
1 1
+
e1/12n
2
12n 2 144n
1
1
(n 2) 1 +
+
e1/24
2
12n 288n
1
1 1200
(lema 11) 1 +
+
12n 288n2 1153
1
1
< 1+
+
12n 277n2
sn < e1/12n < 1 +

Donde hemos utilizado el lema 11 para acotar e1/24 (e1/24 1 +

1200
)
1153

2.5.

1
24

1
e1/24
2242

e1/24

Aplicaciones

La principal aplicacion de la formula de Stirling es aproximar n! para valores grandes

de n. Veamos algunos ejemplos.
11

n
1
2
3
4
5
6
7
8
9
10
..
.

n!
1
2
6
24
120
720
5040
40320
362880
3628800
..
.

Stirling
0.922137
1.919004
5.836210
23.506175
118.019168
710.078185
4980.395832
39902.395453
359536.872842
3598695.618741
..
.

Error absoluto
0.077863
0.0809956
0.16379
0.493825
1.98083
9.92182
59.6042
417.605
3343.13
30104.4
..
.

Error relativo
0.077863
0.040497
0.027298
0.020576
0.016506
0.013780
0.011826
0.010357
0.009212
0.008295
..
.

45
46
47
48
49
50
..
.

1.19622e+56
5.50262e+57
2.58623e+59
1.24139e+61
6.08282e+62
3.04141e+64
..
.

1.19401e+56
5.49266e+57
2.58165e+59
1.23924e+61
6.07248e+62
3.03634e+64
..
.

2.21314e+53
9.95934e+54
4.58139e+56
2.15329e+58
1.0336e+60
5.06473e+61
..
.

0.00185011
0.00180993
0.00177145
0.00173458
0.00169921
0.00166526
..
.

80
81
82
83
84
85
..
.

7.15695e+118
5.79713e+120
4.75364e+122
3.94552e+124
3.31424e+126
2.8171e+128
..
.

7.14949e+118
5.79116e+120
4.74881e+122
3.94156e+124
3.31095e+126
2.81434e+128
..
.

7.45123e+115
5.96102e+117
4.82846e+119
3.95936e+121
3.28629e+123
2.7605e+125
..
.

0.00104112
0.00102827
0.00101574
0.00100351
0.00099156
0.00097990
..
.

135
136
137
138
139
140

2.69047e+230
3.65904e+232
5.01289e+234
6.91779e+236
9.61572e+238
1.3462e+241

2.68881e+230
3.6568e+232
5.00984e+234
6.91361e+236
9.60996e+238
1.3454e+241

1.66027e+227
2.24137e+229
3.04827e+231
4.17614e+233
5.76308e+235
8.0107e+237

0.00061709
0.00061255
0.00060808
0.00060368
0.00059934
0.00059506

Cuadro 1: Calculo compartativo de la formula de Stirling respecto a n! [5]

2.5.1.

C
alculo de lmites

El hecho de que n! y 2nnn en sean sucesiones equivalentes, puede ayudar en el

calculo de lmites cuando n . Veamos un ejemplo:
s
r

q
n

n!
2nnn en
1
1
n
n
n n!
2n
= lm
= lm
= lm
lm
2nen = lm
2n =
n
n
n
n
n
n n
n
n
n
e
e

12

Figura 3: Las cinco triangulaciones del pentagono

2.5.2.

N
umeros de Catalan

Definici
on 13. Para cada n N se define el n-esimo n
umero de Catalan como:
 
2n
(2n)!
1
=
Cn =
n+1 n
(n + 1)!n!
Frecuentemente usados en combinatoria, su nombre se debe al matematico belga Eugene Charles Catalan (1814-1894), aunque fue el gran Leonhard Euler (1707-1783) el
primero en calcularlos. Catalan descubrio que Cn es el n
umero de triangulaciones de un
polgono de n + 2 lados. Cn tambien es n
umero de expresiones que contienen n pares de
parentesis correctamente colocados. Por ejemplo, para n = 3:
((()))

()(())

()()()

(())()

(()())

La formula de Stirling facilita el calculo de los n

umeros de Catalan, ya que de ella se
deduce que:
4n
Cn 3/2
n

Para demostrarlo basta ver que ambas sucesiones son equivalentes:

Cn
(2n)! n3/2
lm 4n
= lm
n 3/2
n (n + 1)!n!

4n
n

22n(2n)2n e2n
n3/2

(por Stirling) = lm p

n
4n
2(n + 1)(n + 1)n+1 en1 2nnn en

4 22n
n3/2 n
n2n
e2n
p
(reagrupando) = lm n
n

n
2 2 4
(n + 1) (n + 1)n n (n + 1)n e2n1

n
n
1
(simplificando) = lm
e= e
n
n+1
e
= 1
2.5.3.

Probabilidad

En esta rama de las matematicas es frecuente que aparezcan los factoriales. Por ejemplo, la probabilidad de que, lanzando una moneda 2n veces, obtengamos el mismo n
umero
13

de caras que de cruces, es:

p(n) =

n,n
casos favorables
P R2n
(2n)!/(n!)2
=
=
casos totales
22n
4n

Procediendo como antes, utilizaremos la formula de Stirling para dar una aproximacion
de este valor:

2(2n)2n+1/2 e2n
1
(2n)!

=
p(n) = n
2
n
2n+1
2n
4 (n!)
4 2n
e
n
2.5.4.

La identidad de Boya

Finalizamos el trabajo con esta curiosa identidad, que debe su nombre a Luis J. Boya,
profesor de Fsica Teorica de la Universidad de Zaragoza.
Teorema 14 (Identidad de Boya). . Se tiene:

2 = e

(n)
n+1
e( 2 )

n=2

(n+1)n
donde es la constante de Euler-Mascheroni, n+1
= 2 es el n-esimo n
umero trian2
gular y
X 1
(Re(s) > 1)
(s) =
ks
k1
es la funcion Zeta de Riemann.
Demostracion. Tomando logaritmos en la formula de Stirling obtenemos que



lm log(n!) log 2n n log n + n = 0

n

Por lo que
log(n!) = n(log(n) 1) + log

2n + o(1)

(1)

Sea R(m) := log(m 1)! (m 1) log m, m N. Tenemos que:

log n! = log n + log(n 1)!
= n log(n) + log(n 1)! (n 1) log n
= n log n + R(n)

(2)

Ademas,
R(m) R(m 1) = log(m 1)! (m 1) log(m) log(m 2)! + (m 2) log(m 1)






(m 1)!
m1
m1
= log
+ log
+ m log
log(m 1)
(m 2)!
m
m


m1
= (m + 1) log
m
14

Por tanto:



1
R(m) = (m + 1) log 1
+ R(m 1)
m

(3)

P
n n
Utilizando ahora el desarrollo en serie de potencias del log(1 + x) = n1 (1)n x , para
|x| < 1 o x = 1


1
1
1
R(m) = (m + 1)

+ R(m 1)
m 2m2 3m3

 
 

1
1
1
1
1
1
= 1 +

+
+
+ + R(m 1)

m 2m
2m2 3m2
3m3 4m3
1 1
1 1
1 1
= 1 +
+
+
+ + R(m 1)
2
12m 23m
3 4 m3
Reiteramos el proceso hasta llegar a R(1) = 0. Por haber dado precisamente n pasos
obtenemos:
R(n) = n +

n
n
n
1 X 1
1 X 1
1 X 1
+
+
+
1 2 m=1 m 2 3 m=1 m2 3 4 m=1 m3

X
n (k)
= n +
k(k + 1)
k=1

Donde n (k) =

Pn

1
j=1 j k .

(4)

De (2) y (4) obtenemos que:

X
n (k)
log(n!) = n(log(n) 1) +
k(k + 1)
k=1

(5)

P
1
Utilizaremos ahora que lmn (n (1) log n) = lmn
n

log
n
= , es decir, las
k=1 k
sucesiones n (1) y log n + son equivalentes. Tomando lmites en (5)

X
n (k)
1
n (1) +
lm log(n!) = lm n(log(n) 1) +
n
n
12
k(k + 1)
k=2

X
1
n (k)
= lm n(log(n) 1) + (log(n) + ) +
n
2
k(k + 1)
k=2

15

(6)

Uniendo (3) y (6) y simplificando:

lm n(log(n) 1) + log 2n + o(1) =

lm log

1
2 + log n + o(1) =
2
lm log

log(n) + X n (k)
+
lm n(log(n) 1) +
n
2
k(k + 1)
k=2

log(n) + X n (k)
lm
+
n
2
k(k + 1)
k=2

X n (k)
2 + o(1) = lm +
n 2
k(k + 1)
k=2
log

2 =

X (k)
+
2 k=2 k(k + 1)

X
2(k)
log(2) = +
k(k + 1)
k=2

(7)

Aplicando exponenciales a (7) obtenemos la identidad buscada.

Referencias
[1] Karl R. Stromberg. An Introduction to Clasical Real Analysis. Chapman & Hall,
1996. Pags. 253-254.
[2] J.M. Ortega. Introduccion al Analisis Matematico. UAB, 1993. Pags. 249-251
[3] Reinald Michel. On Stirlings Formula. The American Mathematical Monthly,
vol.109-4. Abril 2002. http://www.jstor.org/stable/2695504
[4] Luis J. Boya. Another Relation Between , e, and (n). RACSAM, vol.102-2, 2008.
http://www.rac.es/ficheros/doc/00567.pdf
[5] Juan Ignacio Go
ni. Stirling al descubierto, http://svn.assembla.com/svn/mna/
tps/pc01.pdf
[6] Mercedes H. Rosas. Los N
umeros de (Euler)-Catalan., Boletn de la Asociacion
Matematica Venezolana, Vol. X, No. 1, 2003. http://www.emis.de/journals/BAMV/
conten/vol10/catalan.pdf
[7] Enciclopedia Libre Universal en Espa
nol. James Stirling. http://enciclopedia.us.
es/index.php/James_Stirling
[8] The MacTutor History of Mathematics archive. Abraham de Moivre. http://
www-history.mcs.st-and.ac.uk/Biographies/De_Moivre.html
[9] The MacTutor History of Mathematics archive. James Stirling. http://
www-history.mcs.st-and.ac.uk/Biographies/Stirling.html

16