let $$f(x)=\int_{0}^{x}\cos{\dfrac{1}{t}}dt$$, Find the $f'(0)$
since $$f'(0)=\lim_{x\to 0}\dfrac{f(x)-f(0)}{x}=\lim_{x\to 0}\dfrac{\int_{0}^{x}\cos{\dfrac{1}{t}}dt}{x}$$ since By Partial integration yields $$\int_{0}^{x}\cos{\dfrac{1}{t}}dt=\int_{\frac{1}{x}}^{+\infty}\dfrac{\cos{u}}{u^2}du=-x^2\sin{\dfrac{1}{x}}+\int_{\frac{1}{x}}^{\infty}\dfrac{2\sin{u}}{u^3}du$$ so $$\left|\dfrac{\int_{0}^{x}\cos{\frac{1}{t}}dt}{x}\right|\le|x|\left|\sin{\dfrac{1}{x}}\right|+\dfrac{1}{|x|}\int_{\frac{1}{x}}^{\infty}\dfrac{2}{u^3}=|x|\left|\sin{\dfrac{1}{x}}\right|+|x|\to 0(x\to 0)$$
My Question: This problem have other methods?
Thank you