Definition:Average Value of a Function