Grüss inequality, Lebesgue integral, guessing mapping