La f ormula de Stirling

Luis Carlos Garca Lirola

16 de septiembre de 2009
Ahora que he ledo Methodus
Dierentialis 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 f ormula en la demostraci on de otros
resultados, y c omo se utiliza como aproximaci on 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 demostraci on. El primero de ellos es una curiosa
f ormula que data de 1655 y puede ser utilizada para el calculo de , aunque no de forma
eciente. Fue demostrada por el matem atico ingles John Wallis (1616-1703):
Teorema 1 (Producto de Wallis).

2
=

k=1
_
2k
2k 1
2k
2k + 1
_
=
2 2 4 4 6 6 . . .
1 3 3 5 5 7 . . .
1
Demostracion. Se puede encontrar en Lecciones de Analisis Matematico I, de Jose Antonio
Fernandez Vi na (p ag. 276)
Corolario 2.
lm
n
1

n
n

k=1
2k
2k 1
=

Demostracion. Basta con operar adecuadamente el producto anterior:

2
=

k=1
_
2k
2k 1
2k
2k + 1
_
= lm
n
n

k=1
_
2k
2k 1
2k
2k + 1
_
= lm
n
n

k=1
_
(2k)
2
(2k 1)
2
2k 1
2k + 1
_
= lm
n
_
n

k=1
2k
2k 1
_
2

k=1
2k 1
2k + 1
= lm
n
_
n

k=1
2k
2k 1
_
2

1
2n + 1
= lm
n
_
n

k=1
2k
2k 1
_
2

1
2n
De donde se obtiene el resultado buscado.
La siguiente funcion extiende la funci on factorial denida en los numeros naturales.
Fue introducida por primera vez en una carta que escribi o Leonhard Euler a Christian
Goldbach en 1729. La notaci on con la que la presentamos es debida a Legrende.
Teorema 3 (Funcion Gamma). Sea la funcion : (0, +) R
(p) :=
_

0
x
p1
e
x
dx
1. La integral anterior es convergente para todo p > 0, es decir, la funcion esta bien
denida
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
por comparacion con
1
x
1p
, al ser 1 p < 1:
lm
x0
x
p1
e
x
1/x
1p
= lm
x0
e
x
= 1
Para cualquier p resolvemos la singularidad en + por comparacion con
1
e
x/2
, que es
convergente.
lm
x
x
p1
e
x
e
x/2
= lm
x
x
p1
e
x/2
= 0
Por lo que
_

0
x
p1
e
x
dx es convergente.
2
Figura 1:

Area bajo la funcion e
x
2
Para obtener la ecuacion funcional integramos por partes con u = x
p
, du = px
p1
, dv =
e
x
, v = e
x
(p + 1) =
_
+
0
x
p
e
x
dx = lm
a
_
a
0
x
p
e
x
dx
= lm
a
_
_
x
p
e
x

a
0
+ p
_
a
0
x
p1
e
x
dx
_
= lm
a
_
a
p
e
a
+ 0
p
e
0
_
+ lm
a
p
_
a
0
x
p1
e
x
dx
= 0 + p
_
+
0
x
p1
e
x
dx = p(p)
La ultima ecuaci on la probamos por inducci on. En primer lugar, (1) =
_

0
e
x
dx =
lm
a
[e
x
]
a
0
= lm
a

1
e
a
+e
0
= 1 = 1!. A continuaci on, supongamos que (n) = (n
1)!. Usando la ecuaci on funcional anterior, tenemos que (n+1) = n(n) = n(n1)! = n!,
como queramos probar.
El ultimo teorema que necesitamos lo introduciremos a traves de una anecdota.

Esta
muestra la admiraci on de William Thomson, fsico y matematico irlandes tambien conoci-
do 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:
_

e
x
2
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 matem atico, puede encontrarla en Lecciones
de Analisis Matematico I, de Jose Antonio Fernandez Vi na (p ag. 277) o en Analisis
Matematico II, del mismo autor (pag. 253)
3
2. La formula de Stirling
Este resultado, tema central del trabajo, permite dar una aproximaci on de n! para
valores grandes de n.
Teorema 5 (F ormula de Stirling).
lm
n
n!

2nn
n
e
n
= 1
Es decir, las sucesiones n! y

2nn
n
e
n
son equivalentes.
2.1. Algunas notas hist oricas
La formula anterior fue demostradada en 1730 por el matematico escoces James Stir-
ling (1692-1770), en la proposici on 28 de su obra Methodus Dierentialis. Este libro es
un tratado sobre series innitas, suma, interpolacion y cuadratura. Trabaj o adem as en
la ventilaci on de pozos de minas, en la forma de la Tierra y en la variacion de gravedad
en su supercie. Tambien cabe rese nar una contribucion no matem atica: inspeccion o el
ro Clyde con el n 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 f ormula de Stirling debe mucho a Abraham de Moivre (1667 - 1754). Este
matem atico frances realiz o importantes trabajos en distribuci on normal y probabilidad,
aunque es conocido principalmente por su f ormula 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! cn
n

ne
n
,
aunque sin determinar el valor de la constante c. En la segunda edicion de 1738 da la
f ormula nal, 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 nal 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
conjetur o 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 ocial qued o registrada como
somnolencia.
4
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
5
_
k1

3
2k+1
.
Demostracion. Lo probamos mediante inducci on. Para k = 1,
_
3
5
_
11
= 1 =
3
2+1
, luego se
cumple. Supongamos que el resultado es cierto para un entero k. Entonces, para k + 1:
3
2(k + 1) + 1
=
3
2k + 1

2k + 1
2k + 3

_
3
5
_
k1
2k + 1
2k + 3

_
3
5
_
k1
3
5
=
_
3
5
_
k
Donde la ultima desigualdad es cierta ya que:
2k + 1
2k + 3

3
5
5(2k +1) 3(2k +3) 10k +5 6k +9 4k 4 k 1
Deduciremos la f ormula de Stirling de la siguiente desigualdad:
Teorema 7. Para cada entero n 2 se cumple que:
e
1
12n+1/4
<
n!

2ne
n
n
n
< e
1
12n
Demostracion. Usaremos primero que, para |x| < 1:
log
_
1 + x
1 x
_
= log(1 + x) log(1 x) =

k1
(1)
k1
x
k
k

k1
x
k
k
= 2

k0
x
2k+1
2k + 1
5
Tomando en lo anterior x =
1
2n+1

1
3
< 1, tenemos que:
_
n +
1
2
_
log
_
1 +
1
n
_
1 =
2n + 1
2
log
_
1 + 1/(2n + 1)
1 1/(2n + 1)
_
1
=
2n + 1
2
2

k0
(1/(2n + 1))
2k+1
2k + 1
1
=

k0
1
(2n + 1)
2k
(2k + 1)
1
=

k1
1
(2n + 1)
2k
(2k + 1)
(1)
Por (1), y puesto que
1
2k+1

1
3
, tenemos:
_
n +
1
2
_
log
_
1 +
1
n
_
1
1
3

k1
1
(2n + 1)
2k
(suma de una serie geometrica) =
1
3
1/(2n + 1)
2
1 1/(2n + 1)
2
=
1
3
1
(2n + 1)
2
1
=
1
3
1
4n(n + 1)
(en fracciones simples) =
1
12n

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

k1
1
(2k + 1)(2n + 1)
2k
(reorganizando) =
1
3(2n + 1)
2

k1
3
(2k + 1)(2n + 1)
2k2
(usando el lema 6)
1
3(2n + 1)
2

k1
_
_
3
5
_
k1
1
(2n + 1)
2k2
_
(reorganizando de nuevo) =
1
3(2n + 1)
2

k1
_
3
5(2n + 1)
2
_
k1
(suma de la serie geometrica) =
1
3(2n + 1)
2
1
1
3
5(2n1)
2
=
1
3(2n + 1)
2
9/5
(operando y multiplicando por 12) =
1
12n
2
+ 12n + 6/5
=
12
144n
2
+ 144n + 72/5
(n 2 6n +
49
16
> 12 + 3 >
72
5
) >
12
144n
2
+ 150n + 49/16
=
1
12n + 1/4

1
12(n + 1) + 1/4
(3)
6
Para una mayor brevedad, sean:
x
n
= e
1
12n+1/4
, y
n
= e
1
12n
, a
n
= n!e
n
n
(n+1/2)
=
n!

nn
n
e
n
(4)
Observemos que las tres sucesiones son positivas, lm
n
x
n
= lm
n
y
n
= 1 y que:
a
n
a
n+1
=
n!e
n
n
(n+1/2)
(n + 1)!e
n+1
(n + 1)
(n+1+1/2)
=
e
n
n!(n + 1)(n + 1)
n+1/2
e
n+1
(n + 1)!n
n+1/2
=
1
e
_
1 +
1
n
_
n+1/2
Supondremos en lo sucesivo que n 2. Utilizando las desigualdades (2) y (3), tenemos
que:
x
n+1
x
n
= e
1
12(n+1)+1/4
+
1
12n+1/4
(desigualdad (3)) < e
(n+1/2) log(1+1/n)1
=
1
e
_
1 +
1
n
_
n+1/2
=
a
n
a
n+1
(desigualdad (2)) < e
1
12(n+1)
+
1
12n
=
y
n+1
y
n
En resumen,
x
n+1
x
n
<
a
n
a
n+1
<
y
n+1
y
n
(5)
Adem as x
n+1
/x
n
> e
0
= 1, por lo que
a
n
a
n+1
> 1 a
n
> a
n+1
. Es decir, la sucesi on
(a
n
) es monotona decreciente y est a acotada inferiormente por 0, por tanto tiene lmite.
Sea a := lma
n
. A partir de (5) deducimos que a
n
x
n
> a
n+1
x
n+1
y que a
n
y
n
< a
n+1
y
n+1
,
es decir a
n
x
n
es decreciente y a
n
y
n
es creciente. Tomando lmites:
a
n
x
n
< a
n1
x
n1
lma
n
x
n
lma
n1
1 lma
n
x
n
a
a
n
x
n
> a
n+1
x
n+1
lma
n
x
n
lma
n+1
1 lma
n
x
n
a
Por lo que lma
n
x
n
= a. Analogamente se ve que lma
n
y
n
= a. Lo anterior lo podemos
resumir en que:
0 < a
n
y
n
< a < a
n
x
n
(6)
A continuaci on utilizaremos la f ormula de Wallis (corolario 2)

= lm
n
1

n
n

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

n
(

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

n
(

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

n(2n)!
(por (4), n! = a
n
e
n
n
n+1/2
) = lm
n
2
2n
(a
n
e
n
n
n+1/2
)
2

n(a
2n
e
2n
(2n)
2n+1/2
)
(agrupando) = lm
n
a
2
n
a
2n

n
2n+1

nn
2n+1/2

2
2n
2
2n+1/2

e
2n
e
2n
(cancelando) = lm
n
a
2
n
a
2n
1

2
=
a
2
a

2
=
a

2
7
Por lo que a =

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

x
1
n
<
a
n

2
< y
1
n
que es lo que queramos probar.
Corolario 8 (F ormula de Stirling).
lm
n
n!

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

2nn
n
e
n
lm
n
e
1
12n
= 1
2.3. Demostraci on mediante la funcion Gamma
En este caso necesitaremos dos resultados auxiliares:
Lema 9. Para todo |x|
1
2
, x R se tiene que

log(1 + x) x +
1
2
x
2

2
3
|x|
3
Demostracion. Utilizamos el desarrollo en serie de potencias del log(1 + x) (puesto que
|x|
1
2
< 1), la desigualdad triangular y la suma de la serie geometrica:

log(1 + x) x +
x
2
2

n1
(1)
n1
x
n
n
x +
x
2
2

n3
(1)
n1
x
n
n

n3
|x|
n
n

1
3

n3
|x|
n
=
1
3
|x|
3
1 |x|

1
3
|x|
3
1 1/2
=
2
3
|x|
3
Lema 10. Para todo a, b R se tiene |e
a
e
b
| e
b
|a b|e
|ab|
Demostracion. Bastar a probar que |e
x
1| |x|e
|x|
, x R. Tomando x = a b y
multiplicando por e
b
obtendremos el resultado buscado. Para ello utilizaremos de nuevo
el desarrollo en serie de potencias y la desigualdad triangular:
|e
x
1| =

n0
x
n
n!
1

n1
x
n
n!

n1
|x|
n
n!
= |x|

n0
|x|
n
(n + 1)!
|x|

n0
|x|
n
n!
= |x|e
|x|
8
Con ello podemos abordar la
Demostracion (de la formula de Stirling). Utilizando la funci on (x) denida en el teorema
3, tenemos que, para todo n N:
n! = (n + 1) =
_

0
x
n
e
x
dx = lm
a
_
a
0
x
n
e
x
dx
= lm
a
_ an

n
(n + y

n)
n
e
(n+y

n)

ndy = n
n

ne
n
_

n
(1 +
y

n
)
n
e
y

n
dy
Donde se ha efectuado el cambio de variable y =
xn

n
(x = n + y

n, dx =

ndy). Por
tanto:
n! = n
n

n
_

g
n
(y)dy, donde n N y g
n
(y) =
_
(1 +
y

n
)
n
e
y

n
si y >

n
0 si y

n
(1)
Trataremos ahora de probar que lm
n
_

g
n
(y)dy =
_

e
y
2
/2
dy. Para ello estimare-
mos la diferencia entre g
n
(y) y e
y
2
/2
dy en dos casos: para |y|

n/2 y para |y| >

n/2.
1
a
Parte. Supondremos que |y|

n/2. En ese caso, g
n
(y) = (1 +
y

n
)
n
e
y

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

n Tenemos:

g
n
(y) e

y
2
2

e
nlog(1+
y

n
)y

n
e

y
2
2

(usando el lema 10) e

y
2
2

nlog(1 +
y

n
) y +
y
2
2

e
|nlog(1+
y

n
)y+
y
2
2
|
(n facor com un y usando el lema 9) e

y
2
2
n
2
3

3
e
n
2
3

3
(simplicando y usando la hipotesis) = e

y
2
2
2
3
|y|
3

n
e
2
3
|y|
3

n
e

y
2
2
2
3
|y|
3

n
e
y
2
3
(simplicando m as) e

y
2
2
|y|
3

n
e
y
2
3
= e

y
2
6
|y|
3

n
En denitiva:
|g
n
(y) e

y
2
2
|
|y|
3

n
e

y
2
6
, para |y|
1
2

n (2)
2
a
Parte. Supongamos ahora que |y| >

n/2. Si y

n entonces g
n
(y) = 0 y
es obvio que 0 g
n
(y) e
|y|
6
Veremos que para y >

n esta desigualdad tambien es

cierta.
Para ello consideremos la funci on f : (1, +) R dada por
f(x) = x
5
6
x
2
2+x
log(1 + x), que es continua por ser suma de funciones continuas. Su
derivada es:
f

(x) = 1
5
6
_
2x(2 + x) x
2
(2 + x)
2
_

1
1 + x
= ... =
x(x
2
x + 4)
6(1 + x)(x + 2)
2
9
Como x
2
x + 4 no tiene races reales, f

(x) = 0 x(x
2
x + 4) = 0 x = 0. Adem as
el denominador de f

(x) es siempre positivo, por lo que signo(f

(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 en x = 0.
Tomando y >

n tenemos que podemos aplicarle f a

y

n
> 1 y ademas g
n
(y) 0.
De este modo:
0 = f(0) f(
y

n
) =
y

n

5
6
y
2
n
2 +
y

n
log(1 +
y

n
)
0 y

n
5
6
y
2
2 +
y

n
nlog(1 +
y

n
)
nlog(1 +
y

n
) y

n
5
6
y
2
2 +
y

n
log(g
n
(y))
5
6
y
2
2 +
y

n

5
6
|y||y|
2 +
1
2

5
6
|y|

n
2
5
2

|y|
6
g
n
(y) e
|y|
6
, para |y| >

n/2, y >

n
En denitiva,
0 g
n
(y) e
|y|
6
, para |y| >

n/2 (3)
De (2) se sigue que:

_

n
2

n
2
g
n
(y)
_

n
2

n
2
e

y
2
2

_

n
2

n
2
|g
n
(y) e

y
2
2
|
_

n
2

n
2
|y|
3

n
e

y
2
6
= 0
Ya que esta ultima funci on es impar. Por tanto,
_

n
2

n
2
g
n
(y) =
_

n
2

n
2
e

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

n
2
g
n
(y)
_

n
2
e

|y|
6
=
_

n
2
e

y
6
= 6e

n
12
lm
n
_

n
2
g
n
(y) = 0
An alogamente tenemos que lm
n
_

n
2

g
n
(y) = 0. De este modo:
lm
n
_

g
n
(y) = lm
n
_
_

n
2

g
n
(y) +
_

n
2

n
2
g
n
(y) +
_

n
2
g
n
(y)
_
= lm
n
_

n
2

n
2
e

y
2
2
=
_

y
2
2
=

2 (4)
Donde la ultima igualdad proviene del teorema 4, realizando el cambio de variable x =
y/

2. De (1) y (4) obtenemeos la formula de Stirling:

lm
n
n!

2nn
n
e
n
= 1

10
2.4. Estimaci on del error
Hasta ahora hemos probado que n!

2nn
n
e
n
, pero, c omo de buena es esta
aproximaci on?. Para verlo nos har a falta un resultado previo:
Lema 11. Para todo x > 0 se cumple que e
x
1 + x +
1
2
x
2
e
x
Demostracion. Es consecuencia del desarrollo en serie de potencias de e
x
e
x
1 + x +
1
2
x
2
e
x

n=0
x
n
n!
1 + x +
x
2
2

n=0
x
n
n!

n=2
x
n
n!

x
2
2

n=0
x
n
n!

n=0
x
n+2
(n+2)!

1
2

n=0
x
n+2
n!
Y la ultima desigualdad es cierta ya que 2 n + 2
El siguiente resultado nos da una estimaci on del error:
Teorema 12. Para cada n 2:
0 <
n!

2nn
n
e
n
< 1 +
1
12n
+
1
277n
2
(1)
Demostracion. Sea s
n
=
n!

2nn
n
e
n
. Por el teorema 7, tenemos que:
0 < e
1
12n+1/4
< s
n
Lo que nos da la primera desigualdad. Para la segunda utilizamos de nuevo el teorema 7,
junto con el lema 11:
s
n
< e
1/12n
< 1 +
1
12n
+
1
2
1
144n
2
e
1/12n
(n 2) 1 +
1
12n
+
1
288n
2
e
1/24
(lema 11) 1 +
1
12n
+
1
288n
2
1200
1153
< 1 +
1
12n
+
1
277n
2
Donde hemos utilizado el lema 11 para acotar e
1/24
(e
1/24
1 +
1
24
+
1
224
2
e
1/24
e
1/24

1200
1153
)
2.5. Aplicaciones
La principal aplicacion de la f ormula de Stirling es aproximar n! para valores grandes
de n. Veamos algunos ejemplos.
11
n n! Stirling Error absoluto Error relativo
1 1 0.922137 0.077863 0.077863
2 2 1.919004 0.0809956 0.040497
3 6 5.836210 0.16379 0.027298
4 24 23.506175 0.493825 0.020576
5 120 118.019168 1.98083 0.016506
6 720 710.078185 9.92182 0.013780
7 5040 4980.395832 59.6042 0.011826
8 40320 39902.395453 417.605 0.010357
9 362880 359536.872842 3343.13 0.009212
10 3628800 3598695.618741 30104.4 0.008295
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
45 1.19622e+56 1.19401e+56 2.21314e+53 0.00185011
46 5.50262e+57 5.49266e+57 9.95934e+54 0.00180993
47 2.58623e+59 2.58165e+59 4.58139e+56 0.00177145
48 1.24139e+61 1.23924e+61 2.15329e+58 0.00173458
49 6.08282e+62 6.07248e+62 1.0336e+60 0.00169921
50 3.04141e+64 3.03634e+64 5.06473e+61 0.00166526
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
80 7.15695e+118 7.14949e+118 7.45123e+115 0.00104112
81 5.79713e+120 5.79116e+120 5.96102e+117 0.00102827
82 4.75364e+122 4.74881e+122 4.82846e+119 0.00101574
83 3.94552e+124 3.94156e+124 3.95936e+121 0.00100351
84 3.31424e+126 3.31095e+126 3.28629e+123 0.00099156
85 2.8171e+128 2.81434e+128 2.7605e+125 0.00097990
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
135 2.69047e+230 2.68881e+230 1.66027e+227 0.00061709
136 3.65904e+232 3.6568e+232 2.24137e+229 0.00061255
137 5.01289e+234 5.00984e+234 3.04827e+231 0.00060808
138 6.91779e+236 6.91361e+236 4.17614e+233 0.00060368
139 9.61572e+238 9.60996e+238 5.76308e+235 0.00059934
140 1.3462e+241 1.3454e+241 8.0107e+237 0.00059506
Cuadro 1: C alculo compartativo de la f ormula de Stirling respecto a n! [5]
2.5.1. Calculo de lmites
El hecho de que n! y

2nn
n
e
n
sean sucesiones equivalentes, puede ayudar en el
c alculo de lmites cuando n . Veamos un ejemplo:
lm
n
n

n!
n
= lm
n
n
_
n!
n
n
= lm
n
n

2nn
n
e
n
n
n
= lm
n
n
_

2ne
n
= lm
n
2n

2n
1
e
=
1
e
12
Figura 3: Las cinco triangulaciones del pent agono
2.5.2. N umeros de Catalan
Denicion 13. Para cada n N se dene el n-esimo n umero de Catalan como:
C
n
=
1
n + 1
_
2n
n
_
=
(2n)!
(n + 1)!n!
Frecuentemente usados en combinatoria, su nombre se debe al matem atico belga Eu-
gene Charles Catalan (1814-1894), aunque fue el gran Leonhard Euler (1707-1783) el
primero en calcularlos. Catalan descubrio que C
n
es el n umero de triangulaciones de un
polgono de n + 2 lados. C
n
tambien es n umero de expresiones que contienen n pares de
parentesis correctamente colocados. Por ejemplo, para n = 3:
((())) ()(()) ()()() (())() (()())
La f ormula de Stirling facilita el c alculo de los n umeros de Catalan, ya que de ella se
deduce que:
C
n

4
n
n
3/2

Para demostrarlo basta ver que ambas sucesiones son equivalentes:

lm
n
C
n
4
n
n
3/2

= lm
n
(2n)!
(n + 1)!n!
n
3/2

4
n
(por Stirling) = lm
n

22n(2n)
2n
e
2n
_
2(n + 1)(n + 1)
n+1
e
n1

2nn
n
e
n

n
3/2

4
n
(reagrupando) = lm
n

2
2n
4
n

n
3/2

n
(n + 1)
_
(n + 1)n

n
2n
n
n
(n + 1)
n

e
2n
e
2n1
(simplicando) = lm
n
_
n
n + 1
_
n
e =
1
e
e
= 1
2.5.3. Probabilidad
En esta rama de las matem aticas es frecuente que aparezcan los factoriales. Por ejem-
plo, la probabilidad de que, lanzando una moneda 2n veces, obtengamos el mismo n umero
13
de caras que de cruces, es:
p(n) =
casos favorables
casos totales
=
PR
n,n
2n
2
2n
=
(2n)!/(n!)
2
4
n
Procediendo como antes, utilizaremos la f ormula de Stirling para dar una aproximaci on
de este valor:
p(n) =
(2n)!
4
n
(n!)
2

2(2n)
2n+1/2
e
2n
4
n
2n
2n+1
e
2n
=
1

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 Te orica de la Universidad de Zaragoza.
Teorema 14 (Identidad de Boya). . Se tiene:
2 = e

n=2
e
(n)
(
n+1
2
)
donde es la constante de Euler-Mascheroni,
_
n+1
2
_
=
(n+1)n
2
es el n-esimo n umero trian-
gular y
(s) =

k1
1
k
s
(Re(s) > 1)
es la funcion Zeta de Riemann.
Demostracion. Tomando logaritmos en la f ormula de Stirling obtenemos que
lm
n
_
log(n!) log

2n nlog n + n
_
= 0
Por lo que
log(n!) = n(log(n) 1) + log

2n + o(1) (1)
Sea R(m) := log(m1)! (m1) log m, m N. Tenemos que:
log n! = log n + log(n 1)!
= nlog(n) + log(n 1)! (n 1) log n
= nlog n + R(n) (2)
Adem as,
R(m) R(m1) = log(m1)! (m1) log(m) log(m2)! + (m2) log(m1)
= log
_
(m1)!
(m2)!
_
+ log
_
m1
m
_
+ mlog
_
m1
m
_
log(m1)
= (m + 1) log
_
m1
m
_
14
Por tanto:
R(m) = (m + 1) log
_
1
1
m
_
+ R(m1) (3)
Utilizando ahora el desarrollo en serie de potencias del log(1 + x) =

n1
(1)
n
x
n
n
, para
|x| < 1 o x = 1
R(m) = (m + 1)
_

1
m

1
2m
2

1
3m
3

_
+ R(m1)
= 1 +
_
1
m

1
2m
_
+
_
1
2m
2

1
3m
2
_
+
_
1
3m
3

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

m=1
1
m
+
1
2 3
n

m=1
1
m
2
+
1
3 4
n

m=1
1
m
3
+
= n +

k=1

n
(k)
k(k + 1)
(4)
Donde
n
(k) =

n
j=1
1
j
k
. De (2) y (4) obtenemos que:
log(n!) = n(log(n) 1) +

k=1

n
(k)
k(k + 1)
(5)
Utilizaremos ahora que lm
n
(
n
(1) log n) = lm
n
_
k=1
n
1
k
log n
_
= , es decir, las
sucesiones
n
(1) y log n + son equivalentes. Tomando lmites en (5)
lm
n
log(n!) = lm
n
n(log(n) 1) +
1
1 2

n
(1) +

k=2

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

k=2

n
(k)
k(k + 1)
(6)
15
Uniendo (3) y (6) y simplicando:
lm
n
n(log(n) 1) + log

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

k=2

n
(k)
k(k + 1)
lm
n
log

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

k=2

n
(k)
k(k + 1)
lm
n
log

2 + o(1) = lm
n

2
+

k=2

n
(k)
k(k + 1)
log

2 =

2
+

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

k=2
2(k)
k(k + 1)
(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. P ags. 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
Matem atica 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