What is Tan30°/cot60°?