GrĂ¼ss' inequality, Riemann-Stieltjes integral