Pompeiu’s inequality; Grüss inequality; Pompeiu’s mean value theorem