Čebyšev functional, Grüss type inequality, Stieltjes integral