Proyecto 1.

1
n ∞
El propósito de este proyecto es demostrar que la sucesión 1 + n1

n=1
con-
verge. La estrategia es demostrar que la sucesión es creciente y acotada. El
limite es e, la base del logaritmo natural. Usaremos el teorema del binomio
para escribir
 n  2    k  n
1 n(n − 1) 1 n 1 1
1+ =1+1+ + ··· + + ··· + .
n 2! n k n n

La demostración consta de dos grandes partes. La primera es mostrar que la

sucesión es acotada (puntos 1, 2 y 3) y la segunda es mostrar que es creciente
(puntos 4 y 5). El sexto punto es la conclusión general.

1. Veamos que para todo k ∈ Z + , si k ≥ 2 entonces

   k
n 1 1 1
≤ ≤ k−1 .
k n k! 2

Demostración:
a)La parte izquierda de la desigualdad se cumple porque
   k  k
n 1 n! 1
=
k n k!n − k)! n
 k
n(n − 1)(n − 2) · · · (n − k + 1)(n − k)! 1
=
k!(n − k)! n
 k
n(n − 1)(n − 2) · · · (n − k + 1) 1
=
k! n
      
1 n n−1 n−2 n−k+1 1
= ··· ≤ .
k! n n n n k!

b)Para probar la parte derecha de la desigualdad, esto es que para todo

1 1
k ≥ 2 es cierto que k! ≤ 2k−1 , utilizaremos el principio de inducción.

i Es evidente que cuando k = 2 se cumple porque

1 1 1 1
= = 1 = 2−1 .
2! 2 2 2
ii Veamos que si el enunciado se cumple para algún k entonces se cumple
1 1
también para k + 1. En efecto, si k! ≤ 2k−1 , entonces

1 1 1 1 1 1 1 1
= ≤ k−1
≤ k−1
= k.
(k + 1)! k + 1 k! k+12 22 2

1
2. Ahora mostraremos que 1 + 12 + 14 + · · · + 2n−1
1
≤ 2 para todo n ∈ Z + .
Demostración:
Primeramente, veamos que para todo n ∈ Z + es cierto que
1 1 1 1
1+ + + · · · + n−1 = 2 − n−1 .
2 4 2 2
Lo demostraremos por inducción:
i Para n=1 se cumple:
1 1
1=2−1=2− = 2 − 1−1 .
20 2
ii Veamos que si el enunciado se cumple para algún n entonces se
cumple también para n + 1. En efecto, si 1 + 12 + 41 + · · · + 2n−1
1
=
1
2 − 2n−1 , entonces

1 1 1 1 1 1
1+ + + · · · + n−1 + n = 2 − n−1 + n
2 4 2 2 2  2 
1 1
= 2 − n−1 1 −
2 2
1
= 2 − n.
2
1
Ahora bien, como 2n−1 ≥ 0 para todo n ∈ Z + , entonces es claro que

1 1 1 1
1+ + + · · · + n−1 = 2 − n−1 ≤ 2.
2 4 2 2

n ∞
3. Veamos que la sucesión 1 + n1

n=1
es acotada.
Demostración:
Utilizando lo probado en los puntos anteriores, podemos concluir que
 n    0    1    n
1 n 1 n 1 n 1
1+ = + + ··· +
n o n 1 n n n
   0    1
n 1 n 1 1 1 1
≤ + + 2−1 + 3−1 + · · · + n−1
o n 1 n 2 2 2
1 1 1 1
= 1 + 1 + + + ··· + 1 + 2 − n−1
2 4 2n − 1 2
1
= 3 − n−1 < 3.
2
Por lo tanto 3 es una cota superior para la sucesión; como 0 es cota inferior
porque todos los términos son positivos, entonces la sucesión está acotada.

2
 n+1 1 n 1 k




4. Veamos que para todo k ≥ 2, k ( n+1 )k ≥ k n .
Demostración:
Procedemos por inducción:
i Demostramos para k=2:
  2
n+1 1 (n + 1)(n) 1
=
2 n+1 2! (n + 1)2
n
=
2(n + 1)
1 1
= −
2 2(n + 1)
1 1 n−1
≥ −
2 2(n) 2n
   2
n(n − 1) 1 n 1
= 2
= .
2 n 2 n

ii Veamos que si se cumple para algún k entonces se cumple también

1
k
para k + 1. En efecto, si n+1 n

1 k
k ( n+1 ) ≥ k n , entonces
  k+1  k
n+1 1 (n + 1)! 1 1
=
k+1 n+1 (k + 1)!(n − k)! n + 1 n+1
 k
(n + 1)! 1 n−k+1
=
k!(n − k + 1)! n + 1 (n + 1)(k + 1)
  k
n+1 1 n−k+1
=
k n+1 (n + 1)(k + 1)
   k
n 1 n−k+1
≥
k n (n + 1)(k + 1)
 k
n! 1 n−k+1
=
k!(n − k)(n − k − 1)! n (n + 1)(k + 1)
 k
n! 1 n−k+1
=
(k + 1)!(n − (k + 1))! n (n + 1)(n − k)
   k
n 1 n−k+1
= 2
k+1 n n − nk + n − k
   k
n 1 n−k+1
≥
k+1 n n2 − nk + n
   k+1
n 1 n−k+1
=
k+1 n n−k+1
   k+1
n 1
= .
k+1 n

3
5. Con ayuda del punto anterior, veamos que la sucesión es creciente, es decir
que para todo an de la sucesión se tiene que si m ≥ n entonces am ≥ an ,
o lo que es equivalente, que para todo n ∈ Z + , an ≤ an+1 .
Pues bien, para todo n ∈ Z + tenemos que
 n+1
1
an+1 = 1+
n+1
  0   1   2
n+1 1 n+1 1 n+1 1
= + +
0 n+1 1 n+1 2 n+1
  n   n+1
n+1 1 n+1 1
+ ··· + +
n n+1 n+1 n+1
  0   1    2
n+1 1 n+1 1 n 1
≥ + +
0 n+1 1 n+1 2 n
   n   n+1
n 1 n+1 1
+ ··· + +
n n n+1 n+1
   2    n   n+1
n 1 n 1 n+1 1
=1 + 1 + + ··· + +
2 n n n n+1 n+1
   0    1    2
n 1 n 1 n 1
= + +
0 n 1 n 2 n
   n   n+1
n 1 n+1 1
+ ··· + +
n n n+1 n+1
 n   n+1
1 n+1 1
= 1+ +
n n+1 n+1
 n
1
≥ 1+ = an .
n

6. Conclusión. La sucesión
  n ∞
1
1+
n n=1

es creciente y acotada, luego converge a un número real. Dicho número es

llamado e.