Recordemos que \lim\limits_{x \rightarrow x_0} = f(x)g(x) = \lim\limits_{x \rightarrow x_0} f(x) \lim\limits_{x \rightarrow x_0} g(x) siempre \lim\limits_{x \rightarrow x_0} f(x) \lim\limits_{x \rightarrow x_0} g(x) existen.
Desde \lim\limits_{x\rightarrow -\infty}\ln(1 + e^x) = \ln(1) = 0 y
\lim\limits_{x\rightarrow -\infty}\frac{1}{x} = 0
Tenemos \lim\limits_{x\rightarrow -\infty}\ln(1 + e^x) \frac{1}{x} = \lim\limits_{x\rightarrow -\infty}\ln(1 + e^x)\lim\limits_{x\rightarrow -\infty}\frac{1}{x} = 0
Como Gimusi la respuesta de la muestra, esto puede ser usado para rigurosamente compruebe que \lim\limits_{x \rightarrow \infty} \frac{\ln(1+e^x)}{x} = 1. Nota: la identidad \ln(1 + e^x) = \ln(e^{-x}\frac{1 + e^x}{e^{-x}}) = \ln(1+e^{-x}) - \ln (e^{-x})
Así
\lim\limits_{x\rightarrow \infty}\ln(1 + e^x) \frac{1}{x} = \lim\limits_{x\rightarrow \infty} \left(\ln(1+e^{-x}) - \ln (e^{-x})\right) \frac{1}{x} = \lim\limits_{x\rightarrow -\infty} \left(\ln(1+e^{x}) - \ln (e^{x})\right) \frac{1}{-x} = \lim\limits_{x \rightarrow -\infty}\frac{\ln(e^x)}{x} = 1
donde la última igualdad se sigue porque los límites distribuir a través de la adición (por lo aplicamos a nuestro trabajo anterior).