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