lim sin(x-pi/3)/(1-2*cos(x)) as x->pi/3