Voraussetzung: Die Funktion ist zwei mal stetig differenzierbar, und es existiert eine Konstante c ≥ 0, so dass | f ''(x) | ≤ c für alle reellen Zahlen x.
Zu Zeigen: Für alle x gilt dann | f(x+1) - 2 f(x) + f(x-1) | ≤ 2c.
Stellen wir uns eine konkrete reelle Zahl x vor. Die linke Seite der Behauptung kann man umschreiben zu
| [ f(x+1) - f(x) ] - [ f(x) - f(x-1) ] |.
Die beiden Differenzen kann man als Quotienten mit dem Nenner 1 schreiben, dann kann man sie als Differenzenquotienten für die Intervalle [ x ; x+1 ] bzw. [ x-1 ; x ] identifizieren. Nach dem Mittelwertsatz der Differenzialrechnung findet man Stellen x2 bzw. x1 in den beiden Intervallen, an deren Stellen die Ableitungen mit diesen Differenzenquotienten übereinstimmen. Also erhält man den gleichwertigen Term
| f ' (x2) - f ' (x1) | für zwei konkrete reelle Zahlen, die natürlich von x abhängen.
Nun steht zwischen den Betragstrichen kein Differenzenquotient. Aber Anwendung des Mittelwertsatzes und anschließende Multiplikation mit dem Nenner liefert
| f ' (x2) - f ' (x1) | = | f '' (x3) | * |x2-x1| für eine Stelle x3 aus dem Intervall [x1;x2].
Anwendung der Voraussetzung und Berücksichtigung der Tatsache, in welchen Intervallen x1 und x2 liegen, liefert dann die Behauptung.