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