How do you evaluate cot(pi/2)?