lim_(x->0+) sin(1/x)