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