Calcular el $$\lim _{x\rightarrow 0}\frac{1}{x^2} \int\limits^{1-\cos x}_{\sqrt[3]{ x^7}} \ln (2+\tan^2 t)\,dt$$
Mi solución:
Vamos a: $$f(x)=\int^{1-\cos x} _{\sqrt[3]{ x^7}} \ln (2+\tan^2 t)\,dt$$ $$g(x)=x^2$$For $x\rightarrow 0$ tenemos
$f,g \rightarrow 0$. Así que a partir de la regla de L'Hôpital:
$$\lim_{x\rightarrow 0} \frac{f(x)}{g(x)}=\lim_{x\rightarrow 0} \frac{f'(x)}{g'(x)}=\lim_{x\rightarrow 0} \frac{\ln (2+ \tan ^{2} (1-\cos x)) \cdot \sin x -\ln (2+\tan^{2} (x^{\frac{7}{3}})) \cdot \frac{7}{3} \cdot x^{\frac{4}{3}})}{2x}=\ln 2$$
Y luego, tengo una pregunta: ¿cómo puedo demostrar que puedo usar la regla de L'Hôpital? Creo que debo decir que para $x\rightarrow 0$ para $f$ tengo una integral de $0$ a $0$ lo $f(x)=0$.
Pero necesito una profesional de la explicación, por lo que yo estoy pidiendo una justificación detallada de por qué puedo usar esta regla.