lim_(x->0+) 2x * sin(1/x) - cos(1/x)