$$\lim _{x\to \infty }\frac{1}{x}\int _0^x\:\frac{dt}{2+\cos t}$$
Can someone explain to me if it is a limit of type $\frac{\infty}{\infty}$ or not and why ? I considered it to be one, applied L'Hospital and got $\cos\infty$, which would mean that the limit does not exist, but the answer is $\frac{1}{\sqrt{3}}$