Sea . Entonces la función está definida y es continua en el intervalo entre y . Definimos una función para , que llamaremos , mediante
Obviamente esta función tiene una propiedad que hemos atribuido a aquella función bastante indefinida que previamente escribimos como : a saber, (\log x)' = \frac{1}{x}. La siguiente propiedad básica que demostramos es
Pero para cualquier fija, considere como una función de . Entonces
(\log (ax))' = \frac{1}{ax} \cdot a = \frac{1}{x} = (\log x)'Por lo tanto , alguna constante. Para , tenemos
Como
, y . Esto es lo que deseábamos demostrar.
Ahora sea ; entonces , pues esta es el área del rectángulo más grande en el diagrama de abajo.
El rectángulo más pequeño tiene área . Así tenemos para ,
Esto es una igualdad cuando , por lo que es verdadera siempre que . Ahora si , entonces , y tenemos
por lo anterior. Ahora
así que
Esto da
o, invirtiendo los signos,
\tag{*} a - 1 \geqq \log a \geqq 1 - \frac{1}{a}Así hemos demostrado la desigualdad (*) para todo .
Usemos esta desigualdad para derivar algunas propiedades de .
Usando , un entero positivo, encontramos
Como (demuéstrelo por inducción), tenemos
Ahora, a medida que se hace grande, se aproxima a . Por lo tanto está entre y una cantidad que se aproxima a , y por lo tanto debe aproximarse a . Escribimos esto como
A continuación considere la expresión . A medida que se hace grande, también se hace grande, y en consecuencia se hace tan grande como deseemos. De manera similar, , y a medida que se hace arbitrariamente grande, se hace arbitrariamente pequeño (es decir, muy negativo). Así vemos que toma valores arbitrariamente grandes y arbitrariamente pequeños.
es continua en todo , ya que es derivable. Además, es estrictamente creciente. Si , es claro que . Si , entonces el área bajo de a es evidentemente menor que la de a , de modo que de nuevo . Finalmente, si , el área de a es mayor que la de a ; pero los logaritmos son estas áreas tomadas con signo negativo, dando una vez más . Así hemos demostrado la afirmación.