Mean value theorem for integration