How do I find the value of sec (4pi)?