17: Když se funkce nalevo označí jako f a ta napravo jako g, dostane se

Evidentně f ′ ≥ g′ na M = (0,∞).

Závěr pak plyne z

f (0) = 0 = g(0).