Find the average value of $f(x) = \cos(4 x)$ on the interval $[0,\pi/2]$.

Answer: