Me gustaría evaluar$$\lim_{x\to0} \frac{e^{\sin x} - \sin^2x - 1}{x}$ $ utilizando la expansión de la serie Taylor de una manera completamente rigurosa. ¿Cómo sería una versión rigurosa del siguiente argumento?
Desde$$e^{\sin x} -1\sim_0 e^x-1 \sim_0 x \text{ and }\sin^2x \sim_0 x^2$ $ podemos encontrar el límite$$\lim_{x\to0} \frac{e^{\sin x} - \sin^2x - 1}{x} = \lim_{x\to0} \frac{x-\frac{x^2}{2}}{x} = 1.$ $
En particular, no estoy seguro de cómo lidiar con los símbolos de Landau$o$ y$O$ en las funciones anidadas.