Evaluate the following definite integral: `int_0^(pi//4)s e c\ x\ dx`

Explanation

`\int_{0}^{\frac{\pi}{4}} \sec x d x `


`=[\log (\sec x-\tan x)]_{0}^{\frac{\pi}{4}} `



`=[\log (\sec \frac{\pi}{4}-\tan \frac{\pi}{4})-\log (\sec 0-\tan 0)] `



...