Tema

Clculo de lmites
El presente tema tiene un inters eminentemente prctico, pues su principal finalidad es
aportar los ejemplos que se echaban de menos en el tema anterior.
Empezaremos estableciendo las reglas bsicas para el estudio de lmites y divergencia para
sumas, productos o cocientes de funciones reales de variable real. Se trata de trasladar, de forma
bastante mecnica, las reglas ya conocidas para sucesiones y, lgicamente, se reproducen las
indeterminaciones que ya tenamos.
Precisamente para salvar esas indeterminaciones, presentamos algunos mtodos nuevos para
estudiar el carcter de ciertas sucesiones, entre los que destaca el criterio de Stolz con sus
muchas aplicaciones. Tambin estudiamos sucesiones de potencias, prestando especial atencin
a algunos lmites relacionados con el nmero e, tanto lmites de sucesiones como de funciones.
En particular tendremos un estudio, ms amplio que el hecho hasta ahora, de la principales
funciones conocidas: racionales, exponenciales, logartmicas y funciones potencia.
En resumen, tendremos una amplia gama de ejemplos para ilustrar las nociones de lmite y
divergencia, junto con una serie de mtodos prcticos para resolver indeterminaciones.

3.1.

Sumas, productos y cocientes

Las reglas conocidas para el estudio de la convergencia o divergencia de sucesiones se

trasladan fcilmente a funciones reales de variable real, obteniendo las reglas bsicas para el
estudio de lmites de funciones y funciones divergentes. Trabajaremos solamente con lmites o
divergencias en un punto de la recta real, por ser el caso ms general. Los resultados se trasladan
automticamente a los dems casos, lmites o divergencias laterales y lmites o divergencias en
el infinito, prestando la debida atencin al cambio de funcin que en cada caso se requiera.
Empezamos estudiando el comportamiento de la suma de dos funciones que tienen lmite o
divergen en un punto, con dos observaciones clave:

21

3. Clculo de lmites

22

Sean f , g : A R funciones reales de variable real y A0 .

(i) Si f y g tienen lmite en , entonces f + g tiene lmite en , verificndose que


lm f + g (x) = lm f (x) + lm g(x)
x

(ii) Supongamos que f (x) + (x ) y que g verifica la siguiente condicin:

> 0 M R : x A , 0 < |x | < = g(x) > M

(1)

es decir, g est minorada en la interseccin de A \ {} con un intervalo abierto de

centro . Entonces:


f + g (x) + (x )
Para probarlo, sea {xn } , con xn A \ {} para todo n N. En el caso (i) tenemos que
{ f (xn )} lm f (x) y {g(xn )} lm g(x) , luego
x

f + g (xn ) = { f (xn ) + g(xn )} lm f (x) + lm g(x)
x

En el caso (ii) tenemos { f (xn )} + y usando (1) vemos que {g(xn )} est minorada, puesto
que existe
m
N
tal que, para n > m, se tiene 0 < |xn | < , luego g(xn ) > M. Deducimos

que
f + g (xn ) + , como se quera.

Observamos ahora que, tanto si g tiene lmite en el punto , digamos lm g(x) = L, como
x

si g(x) + (x ), podemos asegurar que g verifica la condicin (1). En el primer caso

sabemos que existe > 0 tal que, para x A con 0 < |x | < , se tiene |g(x) L| < 1, luego
g(x) > L 1 y basta tomar M = L 1. En el segundo caso sabemos que para cualquier M R
podemos encontrar > 0 de forma que se verifique (1). Podemos as obtener las siguientes
consecuencias:
(a) Si f (x) + (x ) y g tiene lmite o diverge positivamente en , entonces f + g
diverge positivamente en .
(b) Si f (x) (x ) y g tiene lmite o diverge negativamente en , entonces f + g
diverge negativamente en .
(c) Si f diverge en el punto y g tiene lmite en , entonces f + g diverge en .
Nada se puede afirmar sobre el comportamiento en un punto de la suma de dos funciones,
cuando una diverge positivamente y otra negativamente en dicho punto. Por tanto, tampoco
podemos afirmar nada, si solo sabemos que ambas funciones divergen en el punto en cuestin.
Reaparece aqu, para funciones, la indeterminacin del tipo [ ].
Con respecto al producto de funciones, las observaciones bsicas son ahora tres:
Sean f , g : A R funciones reales de variable real y A0 .
(i) Si f y g tienen lmite en el punto , entonces f g tiene lmite en , dado por


lm f g (x) = lm f (x) lm g(x)
x

3. Clculo de lmites

23

(ii) Supongamos que lm f (x) = 0 y que g est acotada en la interseccin de A \ {}

x
con un cierto intervalo abierto de centro , es decir,
> 0 M > 0 : x A , 0 < |x | < = |g(x)| 6 M


Entonces: lm f g (x) = 0.

(2)

(iii) Supongamos que f (x) + (x ) y que g verifica la condicin (1) con M > 0,
es decir:
> 0 M > 0 : x A , 0 < |x | < = g(x) > M


Entonces: f g (x) + (x ).

(3)

Para comprobar estas afirmaciones, tomamos una sucesin {xn } de puntos de A distintos de ,
con {xn } . En el caso (i) tenemos que { f (xn )} lm f (x) y {g(xn )} lm g(x) , luego
x
x




f g (xn ) = { f (xn ) g(xn )} lm f (x) lm g(x)
x

En el caso (ii) tenemos { f (xn )} 0, y usando (2) vemos que {g(xn )} est acotada, puesto
que
m N tal que, para n > m, se tiene 0 < |xn | < , luego |g(xn )| 6 M. Por tanto,
 existe



f g (xn ) 0. Finalmente, en el caso (iii) tenemos que { f (xn )} + y, si , M vienen
dados


por (3),
existe m N tal que, para n > m es 0 < |xn | < , luego g(xn ) > M. Entonces,
f g (xn ) + , como se quera.

Para obtener las consecuencias que siguen conviene observar que si g tiene lmite en
verificar (2), mientras que si g es divergente, la funcin |g| verificar (3).
(a) Si f y g divergen en el punto , entonces f g diverge

en . Adems, si ambas divergen
positivamente o ambas negativamente tenemos f g (x) + (x ), mientras que si
una diverge positivamente y otra negativamente, entonces f g)(x) (x ).
(b) Si f diverge en el punto y g tiene lmite no nulo en , digamos lm g(x) = R ,
x

entonces f g diverge en . Adems, si f diverge positivamente y > 0, o bien f diverge

negativamente y < 0, entonces f g diverge positivamente. Si f diverge positivamente y
< 0, o bien f diverge negativamente y > 0, entonces f g diverge negativamente.
Nada se puede afirmar sobre el comportamiento en un punto del producto de dos funciones,
cuando una tiene lmite 0 y la otra diverge en dicho punto. Reaparece la indeterminacin del
tipo [ 0 ].
Para estudiar el cociente de dos funciones, bastar ahora ver lo que ocurre con la funcin
1/ f , dependiendo del comportamiento de f , cosa nada difcil:
Sea f : A R una funcin real de variable real, no idnticamente nula, consideremos el
conjunto B = {x A : f (x) 6= 0} y la funcin 1/ f : B R. Para A0 se tiene:


(i) Si lm f (x) = L R , entonces B 0 y lm 1/ f (x) = 1/L .
x
x


(ii) Si f diverge en el punto , entonces tambin B 0 y lm 1/ f (x) = 0 .
x

(iii) Si lm f (x) = 0 y B 0 , entonces 1/ f diverge en el punto .

x

3. Clculo de lmites

24

La comprobacin de las tres afirmaciones es inmediata. En el caso (i) podemos asegurar que
existe > 0 tal que, para x A con 0 < |x | < se tiene | f (x) L| < |L| y, en particular,
f (x) 6= 0. Esto prueba ya que B 0 . Si ahora tomamos una sucesin {xn } de puntos de B
distintos de , con {xn } , se tendr { f (xn )} L, luego {1/ f (xn )} 1/L. En el caso
(ii) el razonamiento es bastante anlogo, existe > 0 tal que, para x A con 0 < |x | < ,
se tiene | f (x)| > 1, luego f (x) 6= 0 y B 0 . Tomando la sucesin {xn } como antes, tenemos
que { f (xn )} es divergente, luego {1/ f (xn )} 0. Obsrvese que en el caso (iii) no podemos
asegurar que B 0 , de ah que se suponga como hiptesis. Tomando la sucesin {xn } como
antes, tenemos { f (xn )} 0, luego {1/ f (xn )} es divergente.


3.2.

Funciones racionales

Las reglas bsicas desarrolladas hasta ahora permiten estudiar fcilmente los lmites y la
divergencia de cualquier funcin racional, lo que nos da la oportunidad de ilustrar muy bien
dichas reglas. Para evitar repeticiones introducimos una notacin que se mantendr fija en toda
la presente seccin.
Notacin. En lo que sigue P, Q sern dos polinomios no idnticamente nulos de grados
respectivos p, q N {0}. Puesto que pretendemos estudiar el cociente P/Q, supondremos
sin prdida de generalidad que P y Q no tienen divisores comunes. Consideramos entonces el
conjunto ZQ = {x R : Q(x) = 0} de los ceros del polinomio Q, y sabemos que P(x) 6= 0 para
todo x ZQ . Tomamos A = R \ ZQ y, puesto que ZQ es finito, tenemos A0 = R, en particular A
no est mayorado ni minorado. Pretendemos estudiar la funcin racional f : A R definida por
f (x) =

P(x)
x A
Q(x)

Debe quedar claro que toda funcin racional es la restriccin a su conjunto de definicin de una
funcin f del tipo considerado. Cuando q = 0, tenemos A = R y f es una funcin polinmica.
En primer lugar, sabemos que f es continua en A, es decir:
lm f (x) = f () A

Estudiemos el comportamiento de f en + y , que parece plantear indeterminaciones.

Empezando por algunos casos fciles, para n N tenemos evidentemente
x n + (x +) ;
x n + (x ) si n es par ;

lm xn = lm xn
x+
x
n
x (x )

=0
si n es impar

Para el caso general, destacamos los coeficientes principales de P y Q escribiendo

P(x) = a x p + R(x) ,

Q(x) = b x q + S(x)

x R

donde a, b R y R, S son polinomios de grados menores que p y q respectivamente. Puede

ocurrir que P sea constante, es decir, p = 0, en cuyo caso R es idnticamente nulo, y tambin S
es idnticamente nulo cuando Q es constante.

3. Clculo de lmites

25

La observacin clave es la siguiente:

lm xp R(x) = lm xp R(x) = lm xq S(x) = lm xq S(x) = 0

x+

x+

(4)

Basta comprobar las dos afirmaciones sobre R, las referentes a S son anlogas. Suponemos
p > 0, pues en otro caso no hay nada que comprobar, escribimos
p1

R(x) =

ak x kp

x R

k=0

donde a0 , a1 , . . . , a p1 son los coeficientes de R, y basta usar que lm x kp = lm x kp = 0,

x+

para k = 1, 2, . . . , p 1.
Finalmente escribimos
f (x) = x pq

a + xp R(x)
= x pq g(x) x A \ {0}
q
b + x S(x)

donde la funcin racional g : A \ {0} R se define por esta misma igualdad y, en vista de (4),
verifica que lm g(x) = lm g(x) = a/b. Hemos evitado as cualquier indeterminacin y la
x+

descripcin del comportamiento de f en + y queda como sigue:

Si p < q , se tiene lm f (x) = lm f (x) = 0
x+

Si p = q , tenemos lm f (x) = lm f (x) = a/b

x+

Si p > q , entonces f diverge tanto en + como en . Ms concretamente diverge:

(a)
(b)
(c)
(d)

Positivamente en + y en , cuando p q es par y a/b > 0

Negativamente en + y en , cuando p q es par y a/b < 0
Positivamente en + y negativamente en , cuando p q es impar y a/b > 0
Negativamente en + y positivamente en , cuando p q es impar y a/b < 0

Conviene observar que, para estudiar el comportamiento de f en + y , no se ha usado

la hiptesis de que los polinomios P y Q sean primos relativos.
Veamos finalmente el comportamiento de f en cualquiera de los ceros de Q. Sea pues R
con Q() = 0 y escribamos
Q(x) = (x )m Q (x) x R
donde m N es el orden del cero de Q en el punto y el polinomio Q verifica que Q () 6= 0.
Tenemos entonces
P(x)
1
f (x) =
x A
m
(x ) Q (x)
y existe el lmite
P()
P(x)
y = lm (x )m f (x) = lm
=
x
x Q (x)
Q ()
Por ser P() 6= 0, tenemos y 6= 0, mientras que el comportamiento en el punto de la funcin
x (x )m no ofrece dificultad. Podemos por tanto enunciar:

3. Clculo de lmites

26

La funcin racional f = P/Q, donde los polinomios P y Q son primos relativos, diverge
en todo punto R que verifique Q() = 0 (y por tanto P() 6= 0).
Ms concretamente, si Q tiene un cero de orden m en el punto , entonces existe el lmite
y = lm (x )m f (x) R y pueden darse cuatro casos:
x

(a)
(b)
(c)
(d)

3.3.

y > 0 y m par: f (x) + (x )

y < 0 y m par: f (x) (x )
y > 0 y m impar: f (x) (x ) y f (x) + (x +)
y < 0 y m impar: f (x) + (x ) y f (x) (x +)

Sucesiones de potencias

Pasamos ahora a discutir el comportamiento de funciones que involucran las potencias de

exponente real. En general, podemos estudiar funciones del siguiente tipo: si A es un conjunto
no vaco de nmeros reales, consideramos la funcin h : A R+ definida por
h(x) = f (x)g(x) x A
donde f : A R+ y g : A R son funciones cualesquiera. Buscamos informacin sobre el
comportamiento de la funcin h en un punto A0 , en + cuando A no est mayorado, o
en cuando A no est minorado, suponiendo que conocemos el comportamiento
de f y g


g(an )
en cada caso. Para ello podemos analizar el carcter de la sucesin f (an )
, donde {an }
es una sucesin de puntos de A, convergente o divergente, segn el caso. As pues, nuestro
y
problema consiste en analizar el carcter de una sucesin del tipo {xn n }, donde {xn } e {yn } son
sucesiones de nmeros reales, con xn > 0 para todo n N, y se conoce el carcter de ambas
sucesiones. Para ello podemos escribir


xnyn = exp yn log xn n N
(5)
y aprovechar las propiedades de la funcin exponencial y del logaritmo, que vamos a resumir.
En primer lugar sabemos ya que la funcin exponencial es continua en R y el logaritmo
es continua en R+ . Por otra parte, sabiendo que ambas funciones son estrictamente crecientes
y conociendo su imagen, deducimos fcilmente el comportamiento de ambas en +, el de la
exponencial en y el del logaritmo en 0:
lm e x = e R ; lm log x = log R+

lm e x = 0 ; e x + (x +)

log x (x 0) ; log x + (x +)
Para comprobarlo, fijado > 0, podemos tomar u = log y el crecimiento de la exponencial
nos dice que para x < u se tiene e x < , y para x > u ser e x > . Hemos probado que
(
x R , x < u |e x 0| < , luego lm e x = 0
x
> 0 u R :
x
x R, x > u e > ,
luego e x + (x +)

3. Clculo de lmites

27

Anlogamente, dado K R, tomando u = e K > 0 tenemos claramente que para 0 < x < u es
log x < K, y para x > u ser log x > K :
(
x R+ , x < u log x < K , luego log x (x 0)
K R u R+ :
x R+ , x > u log x > K , luego log x + (x +) 
Podemos ya conseguir abundante informacin sobre sucesiones de potencias. En vista de
(5), aplicando directamente las anteriores propiedades de la exponencial y el logaritmo, junto
con las reglas referentes al producto de dos sucesiones convergentes o divergentes obtenemos
lo siguiente:
Sea {xn } una sucesin de nmeros reales positivos e {yn } una sucesin de nmeros reales
cualesquiera.
(i) Supongamos que {xn } 0
y
(a) Si {yn } o {yn } y R , entonces {xn n } +
y
(b) Si {yn } y R+ o {yn } +, entonces {xn n } 0
(ii) Supongamos que {xn } x R+
y
(a) Si {yn } y R, entonces {xn n } x y
y
(b) Si {yn } + y x > 1, o {yn } y x < 1, entonces {xn n } +
y
(c) Si {yn } + y x < 1, o {yn } y x > 1, entonces {xn n } 0
(iii) Supongamos finalmente que {xn } +
y
(a) Si {yn } o {yn } y R , entonces {xn n } 0
y
(b) Si {yn } y R+ o {yn } +, entonces {xn n } +
Destaquemos los tres casos que no quedan cubiertos por la discusin anterior, debido a que
para la sucesin {yn log xn } se presenta una indeterminacin del tipo [ 0 ] :
{xn } 0 e {yn } 0 : Indeterminacin del tipo [ 0 0 ]
{xn } 1 e {yn } + o {yn } : Indeterminacin del tipo [ 1 ]
{xn } + e {yn } 0 : Indeterminacin del tipo [ (+) 0 ]
y

En cualquiera de los tres casos, nada se puede afirmar, en general, sobre la sucesin {xn n }. Es
fcil comprobar que toda sucesin {zn } de nmeros reales positivos puede expresarse como
y
{xn n } de forma que {xn } e {yn } se encuentren en cualquiera de los tres casos anteriores.
Resumiendo, podemos ya enumerar todos los tipos de indeterminacin. En esencia slo hay
dos, [ ] y [ 0 ], que ya aparecieron al estudiar el comportamiento de sumas y productos,
respectivamente, de sucesiones o de funciones. La segunda puede tomar adems dos aspectos,
[ 0 / 0 ] y [ / ] que aparecen al estudiar cocientes, y tres aspectos ms, [ 0 0 ], [ (+) 0 ] y [ 1 ],
que surgen al estudiar potencias. En lo que sigue presentaremos mtodos que, lgicamente bajo
ciertas hiptesis, permiten resolver estas indeterminaciones.

3. Clculo de lmites

3.4.

28

Criterio de Stolz

Para indeterminaciones del tipo [ / ] es til el mtodo ideado por el matemtico austriaco
O. Stolz (1842-1905), basnsose en trabajos previos del italiano E. Cesro (1859-1906):
Criterio de Stolz. Sea {xn } una sucesin de nmeros reales y sea {n } una sucesin de
nmeros reales positivos, estrictamente creciente y no mayorada. Para L R , se tiene:


 
xn+1 xn
xn
L =
L
n+1 n
n
La misma implicacin es cierta, sustituyendo en ambos miembros L por + o por .
Demostracin. Partimos de una igualdad de fcil comprobacin. Para m, n N con n > m,
tenemos claramente:
xm
xn xm
xm
1 n1
xn
=
+
=
+
(xk+1 xk )
n
n
n
n
n k=m


xm n1 k+1 k xk+1 xk
+
=
n k=m
n
k+1 k

(6)

Dado ahora L R, lo escribimos tambin en la forma

L=

m L n1 k+1 k
+
L
n
n
k=m

Restando ambas igualdades y tomando valores absolutos, tenemos



n1 
 xn

 L 6 1 |xm m L| + k+1 k
 n

n
n
k=m



 xk+1 xk




L


k+1
k

(7)

donde hemos usado que {n } es una sucesin estrictamente creciente de nmeros positivos.
Tenemos pues que la desigualdad (7) es vlida para cualesquiera m, n N con m < n, y para
demostrar ya la implicacin buscada, fijamos > 0.
 La hiptesis nos permite encontrar encontrar m N de forma que, para k > m se tenga

 xk+1 xk


 L < 2 . Entonces, para n > m, aplicando (7) tenemos
k+1
k


n1
 xn

 L 6 1 |xm m L| + k+1 k < 1 |xm m L| +
 n

n
2 k=m
n
n
2
Como por hiptesis {1/n } 0, podemos encontrar q N tal que
n N , n > q =

|xm m L| <
n
2

(8)

3. Clculo de lmites

29

Esta
desigualdad,
junto con (8), nos permite concluir que, para n > max{m + 1, q}, se tiene


 xn

 L < , como se quera.
 n

Veamos ahora lo que ocurre al sustituir L por +,
 el razonamiento anterior
 en cuyo caso
xn+1 xn
obviamente no es vlido. Dado C R+ , usando que
+ podemos encontrar
n+1 n
xk+1 xk
> 2C. Para n > m podemos entonces usar
m N de forma que, para k > m, se tenga
k+1 k
la igualdad (6) para obtener
n1
xm
k+1 k
xm 2m C
xn
>
+ 2C
=
+ 2C
n
n
n
n
k=m

(9)

Ahora, por ser {1/n } 0, podemos encontrar q N tal que

n N , n > q =

xm 2m K
> C
n

Esta desigualdad, junto con (9) nos permite concluir que para n > max {m + 1, q} se tiene
xn /n > C, luego {xn /n } + , como se quera.
Finalmente, para ver lo que ocurre al sustituir L por basta aplicar lo recin demostrado
sustituyendo la sucesin {xn } por {xn }:






 
xn+1 xn
xn xn+1
xn
xn

+
+

n+1 n
n+1 n
n
n
o ver un primer ejemplo de aplicacin del criterio de Stolz, consideremos la sucesin
n Para
log n
, que presenta una indeterminacin del tipo [ / ]. Tomando xn = log n y n = n para
n
todo n N, ciertamente {n } es una n
sucesin o
estrictamente creciente y no mayorada de nmeros


xn+1 xn
reales positivos. Como quiera que n+1 n = log n+1
0, el criterio de Stolz nos dice
n
n

o

log n
que lm
= 0. Deducimos que { n n} = exp logn n
1, con lo que hemos resuelto
n n
0
una indeterminacin del tipo [ (+) ].
n

Como segundo ejemplo, fijado p N podemos tomar xn =

kp y

n = n p+1 para todo

k=1

n N. De nuevo {n } es una sucesin estrictamente creciente y no mayorada de nmeros reales

positivos. Usando la frmula del binomio de Newton podemos escribir
xn+1 xn
(n + 1) p
n p + R(n)
=
=
n+1 n (n + 1) p+1 n p+1 (p + 1)n p + S(n)
donde R y S son polinomios de grado menor que p. Tenemos por tanto
1

kp =
.

p+1
n n
p+1

criterio de Stolz nos dice que lm

k=1

n N
n

xn+1 xn
n+1 n

1
p+1

y el

3. Clculo de lmites

30

Antes de pasar a estudiar otras interesantes aplicaciones del criterio de Stolz, conviene
aclarar algunos aspectos del mismo. Es importante observar que la implicacin que aparece
en el criterio no es reversible, en ninguno de los casos. Para comprobarlo, dado L R, tomamos
xn = (1)n + n L y n = n para todo n N. Ciertamente {n } es una sucesin estrictamente
creciente y no mayorada
de
n
o nmeros reales positivos, se tiene obviamente que {xn /n } L,
xn+1 xn
pero la sucesin n+1 n = {2 (1)n+1 + L} no es convergente.
Alternativamente podemos tomar x2n1 = x2n = n2 y n = n para todo n N. Entonces
{xn /n } n
+ , de hecho
se comprueba sin dificultad que xn /n > n/4 para todo n N , pero
o
xn+1 xn
la sucesin n+1 n = {xn+1 xn } no es divergente, pues para n impar se tiene xn+1 = xn .
n As pues,
o si al intentar aplicar el Criterio de Stolz nos encontramos con que la sucesin
xn+1 xn
n+1 n no es convergente ni divergente, nada podemos deducir sobre {xn /n }.
n
o
xn
Finalmente conviene tambin aclarar que cuando la sucesin xn+1
es divergente, pero
n+1 n
no diverge positiva ni negativamente, no podemos asegurar que {xn /n } sea divergente. En
efecto, tomando xn = (1)n n y n = n para todo n N, la sucesin


xn+1 xn
= {(1)n+1 (2n + 1)}
n+1 n
es divergente, pero {xn /n } = {(1)n } no lo es.

3.5.

Consecuencias del criterio de Stolz

Como ya se ha visto en algn ejemplo, el criterio de Stolz es especialmente til cuando

una de las sucesiones que en l aparecen, o incluso ambas, viene dada en forma de serie. El
caso particular ms sencillo se presenta cuando tomamos n = n para todo n N y escribimos
la sucesin {xn } en forma de serie, cosa que siempre podemos hacer. Obtenemos entonces el
siguiente resultado:
Criterio de la media aritmtica. Sea {yn } una sucesin de nmeros reales y consideremos
la sucesin de sus medias aritmticas, definida por
n =

1
n

yk =
k=1

y1 + y2 + . . . + yn
n N
n

Para L R se tiene
{yn } L = {n } L
y la misma implicacin es cierta sustituyendo L por + o .
n

En efecto, basta aplicar el criterio de Stolz con xn = yk y n = n para todo n N, con lo

k=1
n
o
xn+1 xn

cual se tiene n+1 n = {yn+1 } y {xn /n } = {n }.

3. Clculo de lmites

31

Por ejemplo, tomando {yn } = {1/n} 0 y denotando por Hn a la n-sima suma parcial de
la serie armnica, tenemos
Hn
1 n 1
lm
= lm = 0
n n
n n
k=1 k
Cabe hacer aqu una discusin anloga a la que hicimos con el Criterio de Stolz. Por una
parte, la implicacin que aparece en el criterio de la media aritmtica no es reversible en ninguno
de los casos, puede ocurrir que {n } sea convergente o divergente sin que {yn } lo sea. Por otra, si
la sucesin {yn } es divergente, pero no diverge positiva ni negativamente, no podemos asegurar
que {n } sea divergente. Los ejemplos para comprobar estas afirmaciones son esencialmente
los mismos que se usaron para el Criterio de Stolz, ya que en todos ellos se tena n = n para
todo n N. Para obtener la sucesin {yn } que ahora necesitamos basta escribir en forma de
serie la sucesin {xn } que sirvi para el criterio de Stolz, es decir, tomar yn = xn xn1 , para
todo n N, con el convenio x0 = 0.
Usando logaritmos obtenemos fcilmente la siguiente consecuencia del criterio de la media
aritmtica:
Criterio de la media geomtrica. Sea {an } una sucesin de nmeros reales positivos y
consideremos la sucesin de medias geomtricas definida por
!1/n
n

n = ak
= n a1 a2 . . . an n N
k=1

Si {an } L R+
0 , se tiene {n } L, y si {an } +, entonces {n } + .
En efecto, basta observar que
log n =

1
n

log ak

n N

k=1

y aplicar el criterio de la media aritmtica a la sucesin {log an }. Si {an } L R+ tenemos

{log an } log L, y el criterio de la media aritmtica nos dice que {log n } log L , de donde
{n } L . Si {an } 0, tenemos que {log an } , luego {log n } y {n } 0.
Finalmente, si {an } + , tambin {log an } +, luego {log n } + y {n } + . 

Por ejemplo, para {an } = {n}, el criterio de la media geomtrica nos dice que { n n !} + .
Obsrvese que los criterios de la media aritmtica y geomtrica son equivalentes. Igual que
hemos deducido el segundo del primero tomando {yn } = {log an }, podemos deducir el primero
del segundo tomando {an } = {e yn }. Del criterio de la media geomtrica se deduce fcilmente
otro muy til:
Criterio de la raz para sucesiones.
Sea {bn } una sucesin de nmeros reales
positivos.

+
n
n
Si {bn+1 /bn } L R0 se tiene { bn } L , y si {bn+1 /bn } +, entonces { bn } + .
En efecto, basta tomar a1 = b1 y an+1 = bn+1 /bn para todon N. Claramente, para las
medias geomtricas de la sucesin {an } tenemos entonces n = n bn para todo n N, con lo
que basta aplicar el criterio de la media geomtrica.


3. Clculo de lmites

32

+ consideremos la sucesin { n 1 + x n }. El criterio de la raz nos

Por ejemplo, para x Rn
o
n n+1 o
n+1
1+x
lleva a pensar en la sucesin 1+x
.
Para
x
6
1
tenemos
claramente
1, mientras
n
n
n n+1 o 1+x
n n+1 o n1+xn1 o
+1
que si x > 1, es 1+x
= x x xn +1
max{1, x}. El criterio
x. En general, 1+x
1+x n
1+x n

n
x n }p
max{1, x}.
Dados ahora y, z R+ , podemos tomar
de la raz nos dice que tambin
{ 1 + 


x = z/y para obtener: n y n + z n = y n 1 + (z/y)n y max{1, z/y} = max{y, z}.
Del criterio de la raz se deduce fcilmente el de la media geomtrica, con lo que tenemos
de nuevo criterios equivalentes. En efecto, dada una sucesin {an } de nmeros reales positivos,
basta tomar bn = a1 a2 . . . an para todo n N,con lo que {bn+1 /bn } = {an+1 } y las medias
geomtricas de la sucesin {an } son {n } = { n bn }.

3.6.

Criterio de la raz para series

Hacemos un breve parntesis en el clculo de lmites, viendo un criterio de convergencia

para series de nmeros positivos, muy relacionado con el del cociente, como se ver. Dada
una serie xn con xn > 0 para todo n N, la forma ms directa de compararla con una serie
n>1

geomtrica consiste en considerar la sucesin { n xn }. Aplicando el criterio de comparacin

obtenemos lo siguiente:

Criterio de la raz para series. Sea xn R+

para todo n N. Si la sucesin { n xn } est
0

mayorada y lm sup { n xn } < 1, entonces la serie xn es convergente.

n>1

En efecto, tomando R de forma que lm sup { n xn } < < 1, la definicin de lmite

superior nos dice que existe m N tal que sup{ n xn : n > m} < , con lo cual, para n > m se
tiene xn < n . Puesto que < 1, la serie geomtrica n es convergente y basta aplicar el
n>0

criterio de comparacin para series de nmeros positivos.

Puesto que, cuando xn > 0 para todo n N, el comportamiento de la sucesin {xn+1 /xn }

nos da importante informacin sobre { n xn }, la relacin entre el criterio recin probado, que
tambin se conoce como criterio de Cauchy, y el del cociente o de DAlembert, no puede pasar
desapercibida. Merece la pena discutir con detalle esa relacin, que se puede resumir diciendo
que el criterio de la raz mejora estrictamente al del cociente.
Supongamos que queremos dilucidar si una serie

xn, con xn > 0 para todo n N, es

n>1

convergente o divergente y veamos cual de los dos criterios es ms efectivo. En primer lugar, el
criterio del cociente slo se aplica cuando xn > 0 para todo n N, para que podamos considerar
la sucesin {xn+1 /xn }, mientras el criterio de la raz no tiene esa limitacin. Ciertamente esta
mayor generalidad del criterio de la raz es slo una cuestin de forma, un sencillo artificio
permitira suprimir los trminos nulos de la sucesin {xn } para trabajar slo con los sumandos
no nulos, sin alterar el carcter de la serie. Sin embargo, en la prctica puede no ser fcil decidir
para qu valores de n es xn = 0.

3. Clculo de lmites

33

Pero supongamos que xn > 0 para todo n N, para que los dos criterios estn disponibles.
La comparacin entre ambos se basa en la siguiente desigualdad, que especifica muy bien la

relacin entre las sucesiones {xn+1 /xn } y { n xn }.

Sea xn R+ para todo n N y supongamos que la sucesin {xn+1 /xn } est acotada.

Entonces la sucesin { n xn } tambin est acotada y se verifica que

lm inf {xn+1 /xn } 6 lm inf { n xn } 6 lm sup { n xn } 6 lm sup {xn+1 /xn }

(10)

Para demostrarlo, supondremos de momento que lm inf {xn+1 /xn } > 0. Al final quedar claro
que basta trabajar en este caso. Fijamos entonces , R+ tales que
< lm inf {xn+1 /xn } 6 lm sup {xn+1 /xn } <
La definicin de lmite inferior y superior nos dicen que podemos encontrar m N tal que
< nf {xn+1 /xn : n > m} 6 sup {xn+1 /xn : n > m} <
con lo cual, para n > m tenemos xn 6 xn+1 6 xn .
De xm 6 xm+1 6 xm deducimos 2 xm 6 xm+1 6 xm+2 6 xm+1 6 2 xm , y una
obvia induccin nos dice que k xm 6 xm+k 6 k xm para todo k N.
Equivalentemente, para n > m podemos escribir nm xm 6 xn 6 nm xm , es decir,
p
p

n xm m 6 n xn 6 n xm m

Puesto que { n a} 1 para todo a R+ , las sucesiones que aparecen en el primer y ltimo
miembro de la desigualdad anterior convergen a y respectivamente. En particular, dicha

desigualdad prueba que la sucesin { n xn } est mayorada, pero tambin nos dice que

6 lm inf { n xn } 6 lm sup { n xn } 6
Las desigualdades buscadas se deducen claramente de la libertad que tuvimos para elegir

y . Si fuese lm inf { n xn } < lm inf {xn+1 /xn } se tendra en particular lm inf {xn+1 /xn } > 0,
que es la suposicin que hicimos al principio de la demostracin, y podramos haber elegido

de forma que lm inf { n xn } < , llegando a una contradiccin. Anlogamente, suponiendo

lm sup {xn+1 /xn } < lm sup { n xn }, habramos podido elegir < lm sup { n xn } para llegar
tambin a contradiccin.

Volvamos ahora a la relacin entre los dos criterios. El del cociente asegura que la serie de
trmino general {xn } converge cuando {xn+1 /xn } est mayorada con lm sup {xn+1 /xn } < 1.

Pero entonces, { n xn } tambin est mayorada y de (10) deducimos que lm sup { n xn } < 1,
luego el criterio de la raz tambin nos permite concluir que la serie es convergente.
Comentbamos tambin en su momento que cuando lm inf {xn+1 /xn } > 1, la sucesin {xn }
no converge a cero, luego la serie diverge, lo cual puede verse ahora casi con ms claridad: segn

(10) tenemos lm inf { n xn > 1, con lo que existe m N tal que, para n > m se tiene n xn > 1,
luego xn > 1, y {xn } no converge a cero.

3. Clculo de lmites

34

En resumen, cuando el estudio de la sucesin {xn+1 /xn } (criterio del cociente) permite

decidir si la serie de trmino general {xn } converge o diverge, el estudio de la sucesin { n xn }

(criterio de la raz) tambin lo permite. La discusin se completa con un ejemplo en el que el
criterio del cociente no decide pero el de la raz s. Para ello basta tomar xn = (3 + (1)n )n

para todo n N. Es evidente que lm sup { n xn } = 1/2, luego el criterio de la raz nos dice que la
serie xn es convergente. Sin embargo, el criterio del cociente no decide, de hecho la sucesin
n>1

{xn+1 /xn } no est acotada, pues para n par se comprueba fcilmente que xn+1 /xn = 2n1 .

3.7.

Lmites relacionados con el nmero e

De vuelta al problema de resolver ciertas indeterminaciones, vamos a ver ahora algunos

lmites de sucesiones y de funciones que guardan relacin directa con el nmero e. Obtendremos
un mtodo bastante general para resolver indeterminaciones del tipo [ 1 ]. Empezamos con un
ejemplo muy concreto, probando lo siguiente:

Se verifica que lm

1
1+
n

n
=e

Para abreviar, llamemos {un } a la sucesin cuyo lmite queremos calcular. Para cada n N, la
frmula del binomio de Newton nos permite escribir
n

 
n 1
un =
=
k
k=0 k n

k=0

n(n 1) . . . (n k + 1)
=
k! n k

k=0

1
k!

k1 

j=0

j
1
n


(11)

En cada sumando de la ltima expresin aparece un producto de k factores positivos, cada uno
de los cuales aumenta al sustituir n por n + 1, y esta sustitucin aade un sumando positivo ms,
con lo que la suma aumenta, es decir,
n+1

un 6

k=0

1
k!

k1 

j=0

j
1
n+1


= un+1

lo que prueba que {un } es una sucesin creciente. Para ver que est mayorada observamos que
en el ltimo miembro de (11) los productos que aparecen son menores o iguales que 1, luego
n

un 6

k=0

1
6 e n N
k!

As pues, {un } es convergente y llamando L a su lmite, tenemos L 6 e. Para conseguir la otra

desigualdad, dados n, p N, volvemos a trabajar con la igualdad (11):
n+p

un+p =

k=0

1
k!

k1 

j=0

j
1
n+ p


>

k=0

1
k!

k1 

j=0

j
1
n+ p


(12)

3. Clculo de lmites

35

Fijando por un momento p, tenemos {un+p } L, mientras la sucesin que aparece al final de
(12) es una suma finita de productos finitos de sucesiones convergentes. Por tanto,
"

#


p
p
p
j
1 k1
j
1 k1
1
1

L > lm
l

m
=
1

n k !
n
n+ p
n+ p
j=0
k=0
k=0 k ! j=0
k=0 k !
Puesto que esta desigualdad es vlida para todo p N, deducimos finalmente que
p

L > lm

k=0

1
=
k!

k=0

1
=e
k!

Pasamos ahora a generalizar el resultado anterior, calculando dos lmites funcionales:


Se verifica que lm

x+

1
1+
x

x


= lm

1
1+
x

x
=e

x
Obsrvese que la funcin x 7 1 + 1x , cuyos lmites en + y queremos calcular, puede
considerarse definida en ] , 1[ R+ , un conjunto que no est mayorado ni minorado, as
que tiene sentido estudiar ambos lmites. Empezamos la demostracin con otras dos sucesiones
convergentes:


 


1 n
1
1 n+1
= lm 1 +
1+
=e
lm 1 +
n
n
n
n
n
n
"

n
n+1 # n+1
1
1
lm 1 +
=e
= lm
1+
n
n
n+1
n+1
Por tanto, fijado > 0, existe m N tal que, para n > m se tiene

e <

1
1+
n+1

n


<

1
1+
n

n+1
< e+

Entonces, para x R con x > m, consideramos su parte entera n = E(x) N. Es claro que
m 6 n 6 x < n + 1, de donde obtenemos
n 




1 x
1 n+1
1
< 1+
< 1+
< e+
e < 1+
n+1
x
n
As pues, hemos probado que





1 x

> 0 m R : x R, x > m  1+
e < ,
x
y tenemos uno de los lmites buscados. Para conseguir el otro, observamos previamente que,
para x > m + 1, en la ltima desigualdad podemos sustituir x por x 1. Esto demuestra que

lm

x+

1
1+
x1

x1


= e,

luego

lm

x+

1
1+
x1

x
=e

3. Clculo de lmites

36

Podemos ya calcular el lmite en que buscamos, convirtindolo en un lmite en +,

como ya sabemos:



x
x



1 x
1 x
1
x
lm 1 +
= lm 1
= lm
= lm 1 +
=e

x+
x+ x 1
x+
x
x
x
x1
Nuestro prximo paso es convertir los dos lmites recin calculados en la continuidad de
una funcin que nos ser muy til:
Sea I =] 1, +[ y : I R la funcin definida por
(x) = (1 + x)1/x x I \ {0} ,

(0) = e

Entonces es continua en 0. Equivalentemente:

lm (1 + x)1/x = e ,

x0

o bien,

lm

x0

log(1 + x)
=1
x

Adems, se tiene (x) 6= 1 para todo x I.

En efecto, dada una sucesin montona {xn } de puntos de I distintos de cero, con {xn } 0,
la sucesin {yn } = {1/xn } diverge positiva o negativamente. En cualquier caso,

 
1 yn
1/xn
{(1 + xn ) } =
1+
e
yn
y por tanto tenemos tambin




log (1 + xn )
= log (1 + xn )1/xn log e = 1
xn
Finalmente, para x I \ {0}, es claro que (1 + x)1/x 6= 1, mientras que (0) = e 6= 1.

Podemos ya obtener un mtodo til para abordar indeterminaciones del tipo [ 1 ] :

Sea {xn } una sucesin de nmeros reales positivos tal que {xn } 1 y sea {yn } cualquier
sucesin de nmeros reales.
(i) Para L R se tiene: lm yn (xn 1) = L lm xnyn = e L
n 
n
y
(ii) {yn (xn 1)} + xn n +
 y
(iii) {yn (xn 1)} xn n 0
La demostracin es inmediata, usando la funcin cuya continuidad en 0 acabamos de
obtener. Comprobamos fcilmente que


y (x 1)
xnyn = xn 1 n n

n N

(13)

En efecto, si xn = 1 esta igualdad es obvia, y si xn 6= 1, se deduce de la definicin de . Ntese

que xn 1 siempre pertenece al conjunto de definicin de , pues xn 1 > 1.

3. Clculo de lmites

37




Puesto que es continua en 0, tenemos xn 1 e, con lo que la igualdad (13), junto
con las reglas bsicas sobre el comportamiento de las sucesiones de potencias, nos permiten
obtener las tres implicaciones hacia la derecha que aparecen en el enunciado.
Tomamos ahora logaritmos en la igualdad (13) y recordamos que la funcin no toma el
valor 1, por lo que su logaritmo no puede anularse. As pues,
y

log xn n


yn (xn 1) =
log xn 1

n N




Puesto que, de nuevo por la continuidad de en cero, tenemos log xn 1 1, las
propiedades del logaritmo nos permiten obtener inmediatamente las tres implicaciones hacia
la izquierda que queramos probar.

Aunque el enunciado no lo exige, es claro que el resultado anterior tiene inters cuando la
sucesin {yn } es divergente. Las implicaciones hacia la derecha se usan, como se ha dicho, para
intentar resolver una indeterminacin del tipo [ 1 ], resolviendo una del tipo [ 0 ]. La igualdad
x yn = exp(yn log xn ) permite hacer lo mismo, pero frecuentemente la sucesin {yn (xn 1)} es
ms fcil de manejar que {yn log xn }.
n 2 n o
y
n2
n
= {xn n }, con xn = n2 n+1
, yn = n,
Consideremos por ejemplo la sucesin
n2 n+1
para todo n N. Entonces {xn } es una
o de nmeros reales positivos convergente a 1 y
n sucesin
y
n2 n
tenemos claramente {yn (xn 1)} = n2 n+1 1, luego {xn n } e.
Aunque una sucesin de potencias es usualmente ms complicada que un producto de dos
sucesiones, las implicaciones hacia la
izquierda
del resultado anterior tambin son tiles. Por

n
n
ejemplo, puesto que evidentemente ( x) x para todo x R+ , deducimos que

log x = lm n n x 1 x R+
n

3.8.

Otros lmites funcionales

Veamos ahora un par de ejemplos de lmites de funciones que presentan indeterminaciones

del tipo [ (+) 0 ] y [ 0 0 ] :
Se verifica que: lm x 1/x = 1 = lm x x
x+

x0

Para obtener el primero de estos

lmites usamos un argumento que ya fue til anteriormente.
Partiendo del hecho conocido { n n} 1, consideramos otras dos sucesiones convergentes:
lm n1/(n+1) = lm

n

n
n n+1 = 1

lm (n + 1)1/n = lm

Por tanto, dado > 0, existe m N tal que, para n > m se tiene
1 < n1/(n+1) < (n + 1)1/n < 1 +

n+1
n+1 n = 1

n+1

3. Clculo de lmites

38

Ahora, para x R con x > m, tomando n = E(x) tenemos m 6 n 6 x < n + 1 y, por tanto,
1 < n1/(n+1) < x1/x < (n + 1)1/n < 1 +
Esto prueba que lm x 1/x = 1. Para calcular el otro lmite basta recordar la forma de convertir
x+

un lmite en + en un lmite en 0. Concretamente se tiene

 1/x
1
1
x
lm x = lm
= lm 1/x = 1
x+ x
x+ x
x0

Finalmente probamos un resultado que a veces se conoce como escala de infinitos, pues
se trata de estudiar el cociente entre funciones que divergen positivamente en + y se observa
como unos tipos de funciones van dominando a otros:
Para todo R+ se tiene:

lm

x+

log x
x
ex
=
l

m
=
l

m
=0
x+ e x
x+ x x
x

Sea {xn } una sucesin de nmeros reales positivos que diverja positivamente. Tenemos
entonces {e/xn } 0 y, por tanto,
 xn    xn 
e
e
ex
=
0,
luego
lm x = 0
xn
x+ x
xn
xn
 1/x
Por otra parte, usando uno de los lmites funcionales recin calculados, tenemos xn n 1 y
deducimos que
   
 
xn
1 1/xn  xn
x
x
=

0
,
luego
l

m
=0
n
x+ e x
e xn
e
x
= 0 y, puesto que { log xn } +, deducimos que
En particular ser lm
x+ exp x


 
log xn
log xn
1
log x
0,
luego
lm
=0

=

x+ x
exp ( log xn )
xn

3.9.

Ejercicios

1. Calcular la imagen de la funcin f : R+ R definida por

f (x) =

(2x2 + 3) log x
1 + x2

x R+

2. Estudiar la existencia de lmite en + de las siguientes funciones y, en su caso, calcularlo:

f : R+ R , f (x) = x + 1 x x R+
p
g : R R , g(x) = x E(x) x R

6 5
4 2
x
+
x +1
+

h : R R , h(x) =
x R+
( x + 1)( 3 x + 2)
e 2x+1 e x
: R R , (x) = 2x
x R
2e + e x + 1

3. Clculo de lmites

39

3. Sea f : R R la funcin definida por

f (x) = exp 1/x2

x R ,

f (0) = 0

Probar que f es continua en R. Calcular f (R) y f [0, 1] .

4. Probar que existe x R+ tal que log x + x = 0

5. Estudiar la convergencia de las siguientes sucesiones y, cuando exista, calcular su lmite:



n2 n

(a)

1+2 2+3 3+...+n n

)
(
1 n
(b)
k!
n ! k=1
( r
)
1 n (2n)!
(c)
n
n!
(
!n )

na+ nb
donde , R , + 6= 0 , a, b R+
(d)
+
6. Estudiar la convergencia de las siguientes series:
n!
(a) n
n>1 n


(b)

n>1

(d)

1
1+
n

n2

n (log n)

(c)


2
1/n
1e

n>1

donde , R

n>2

7. Se considera la funcin f : R \ {e} R definida por

f (x) = x1/(log x1)
Estudiar el comportamiento de f en 0, e, + .

x R+ \ {e}