pre-Grüss inequality, random variables, expectation, cumulative distribution function