\lim_{x\to0}\frac{\sin(\frac1x)}{\sin(\frac1x)}