Arithmetic mean of a function