Con el fin de mostrar que el $\lim_{x \to \infty}\log x = \infty$ debemos demostrar que para cada $M > 0$ hay un $N > 0$ tal que $\log x > M$ todos los $x > M$. Y ya se sabe que $\lim_{n \to \infty}\log 2^{n} = \infty$, de modo que, dado cualquier $M_{1} > 0$ no es un número entero positivo $m$ tal que $\log 2^{n} > M_{1}$ todos los $n \geq m$.
Vamos a ver cómo podemos lograr nuestro objetivo de la información dada. La primera idea es coger $M_{1} = M$, de modo que no es un número entero $m > 0$ tal que $\log 2^{n} > M$ todos los $n \geq m$. Ahora sabemos que si $x > 2^{n} \geq 2^{m}$$\log x > \log 2^{n} > M$, por lo que es suficiente para tomar $N = 2^{m}$ y listo.
La idea fundamental es que el $\log x$ es monótona (no necesitamos estrictamente monótona de la naturaleza en la anterior prueba) y, por tanto, con el fin de demostrar que el $\log x \to \infty$ $x \to \infty$ es suficiente para considerar una secuencia $s_{n}$ de números positivos tal que $s_{n} \to \infty$ $n \to \infty$ y muestran que $\log s_{n} \to \infty$. Aquí hemos adoptado $s_{n} = 2^{n}$ y que podría haber llevado $s_{n} = a^{n}$ con $a > 1$. La razón por la que tomamos $s_{n}$ de la forma $a^{n}$ es que tenemos la propiedad $\log a^{n} = n\log a$ y esto hace que sea fácil mostrar que $\log s_{n} \to \infty$. Si tomamos cualquier otra secuencia de decir $s_{n} = 2n$ a continuación se obtienen $\log 2n = \log 2 + \log n$, entonces podemos establecer que $\log n$ tiende a infinito y este es de nuevo el problema con el que empezamos.