Lebesgue integrable function, inequality, integral mean, derivative