Utilizando la definición $$ \ln x = \int_1^x \frac{dt}{t}, $$ is it possible to show that $\ln e = 1$ without showing first that $\exp$ and $\ln$ are inverse functions? Here, $e$ is defined by the series $$ e = \sum_{k=0}^\infty \frac{1}{k!}. $$
EDIT: Un paso intermedio útil en demostrar este resultado es $$ \lim_{n \to \infty} \left( 1 + \frac{1}{n} \right)^n = e. $$ However, the usual proof of this limit by L'Hospital's rule uses the fact that $\exp$ and $\ln$ son funciones inversas. ¿Hay una prueba alternativa que no requiere la propiedad inversa?
Recuerde que estamos trabajando desde la definición de la serie $e$ anterior.