Según Mathematica,
$$\displaystyle\lim_{x \rightarrow 0} \frac{(1-\cos x)^2}{\log (1 + \sin^4x)} = \frac{1}{4}$$
Para mis propósitos es suficiente saber que este límite existe y es finito, pero no puedo utilizar la regla de L'Hopital (ni nada que se base en la diferenciabilidad). Sin embargo, estoy atascado en cómo demostrar que este límite se mantiene. He intentado dar una prueba de épsilon-delta, pero parece innecesariamente complicada. Lo ideal sería poder demostrar que el límite existe utilizando sólo las reglas trigonométricas, el álgebra, y eventualmente reduciendo esto de ser una forma indeterminada para que pueda simplemente enchufar $0$ .
Sin embargo, el problema con esto es que no puedo romper el término de registro. Parece que tendría que factorizar su argumento, pero para hacerlo necesito manipular $1 + \sin^4 x$ para poder factorizarlo y separar los términos. Pero nada ha funcionado hasta ahora.
0 votos
Si eso es realmente lo que dice Mathematica, y no cometiste un error tipográfico, entonces Mathematica está equivocado: hacer l'Hospital el límite es $\;\infty\;$ .
0 votos
Se trata de un error tipográfico, el límite debería ser ahora correcto.