Wir zeigen für x<y: f′(x)≤f′(y). Dazu sei h=s(y−x) mit s∈(0,1) beliebig. Dann ist
f(x+h)+f(y−h)=f((1−s)x+sy)+f(sx+(1−s)y)≤(1−s)f(x)+sf(y)+sf(x)+(1−s)f(y)=f(x)+f(x)
Daraus folgt
h1(f(x+h)−f(x))≤h1(f(y)−f(y−h))
Durch Grenzübergang folgt die Behauptung f′(x)≤f′(y).
Damit für x>x0:
f(x)−f(x0)=∫x0xf′(t)dt≥∫x0xf′(x0)dt=f′(x0)(x−x0)