\lim_{x\rightarrow \infty} x(1-\cos(\frac{1}{x})) = \frac{1}{2}