Evaluar $$\lim_{x \to \infty} \frac{1}{x} \int_x^{4x} \cos\left(\frac{1}{t}\right) \mbox {d}t$$
Me han sugerido que defina dos funciones como $g(x) = x$ y $f(x) = \int_x^{4x}\cos\left(\frac{1}{t}\right)dt$ así que si pudiera probar que ambos fueron a $\infty$ como $x$ fue a $\infty$ Entonces podría usar la regla de L'Hôpital sobre $\frac{f(x)}{g(x)}$ pero no pude hacerlo por $f(x)$ .
Puedo ver que el límite es 3 si simplemente sigo adelante y diferencio ambas funciones y tomo el cociente de los límites, pero por supuesto esto es inútil sin encontrar mi forma intermedia original.
¿Cómo puedo demostrar que $\frac{f(x)}{g(x)}$ está en forma intermedia? o ¿de qué otra manera podría evaluar el límite original?