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