Grüss inequality; Riemann-Stieltjes integral