How do you find the exact value of #sec(pi/4)# using the half angle formula?