lim sin(1/x) x->0