lim cos(pi/2)/(e^sinx-e^sin4x) as x->pi