What is the #cot(pi/2)#?