limit as x->pi/2 of cos(x)/cot(x)