Steffensen's inequality

Steffensen's inequality is an equation in mathematics named after Johan Frederik Steffensen.

It is an integral inequality in real analysis, stating:

If ƒ : [a, b] → R is a non-negative, monotonically decreasing, integrable function and g : [a, b] → [0, 1] is another integrable function, then where