the mean value theorem in a definite integral