What is the sec^2 (pi/3)?