What is the cot(pi/2)?