Čebyšev functional, Grüss inequality, Čebyšev inequality, Ostrowski inequality, generalised trapezoid formula, Taylor's expansion, Lupaş's inequality