What is the average value of a function #f(x) = 2x sec2 x# on the interval #[0, pi/4]#?