GrĂ¼ss inequality, Ostrowski inequality, generalized trapezoid inequality, Lebesgue integral