Connections among some inequalities of Gauss, Steffensen and Ostrowski (Q914872)

The author proves the following: Let G: [a,b]\(\to {\mathbb{R}}\) be strictly increasing, with G(x)\(\geq x\); let f: [c,d]\(\to {\mathbb{R}}\) be decreasing, with \(c\leq G(a)<G(b)\leq d;\) then \(\int^{b}_{a}fG'\geq \int^{G(b)}_{G(a)}f.\) (Values \(+\infty\) are possible for the limits of integration.) Particular cases of this theorem are the inequalities mentioned in the title.