Average value of a function (integral calculus)