Nun ja, mit dem Voraussetzen ist das ja so eine Sache :-)
Ich habe mal ein wenig herumgespielt.
Annahme:
f(x) = x2
g'(x) = f(x) = x2 | g(x) = 1/3 * x3
x = 1, h = 2
f(x)*h ≤ g(x + h) - g(x) ≤ f(x + h)*h
x und h eingesetzt:
f(1)*2 ≤ g(3) - g(1) ≤ f(3)*2
2 ≤ 9 - 1/3 ≤ 18
Das stimmt zwar (also auch mit relativ "großem" h), aber mir fällt nichts ein, mit dem man es allgemein beweisen könnte ...