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