Steffensen's inequality proof
Johan Frederik Steffensen (1873–1961)
ƒ : [a, b] → R is a non-negative, monotonically decreasing, integrable function and
g:[a, b] →[0, 1] is another integrable function, then:
First we see that and . We have and
We have also
take and and so
That proof the inequality.