Average Value of a function on a given interval definite integral calculus