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