GrĂ¼ss inequality, measurable functions, Lebesgue integral, perturbed rules