lim cos(pi/2)/(x-pi)x->pi