lim sin (x sin 1/x) / (x sin 1/x) as x ->0