What is the average value of a function #sec^2x# on the interval #[0, pi/4]#?