Proof

This is obviously true for . For other values of , we have

,

while

,

so that

and hence,

.

Since satisfies a Lipschitz Condition and using the bound on the second derivative, we find that

>

We can then use the previous Lemma with , and :

,

which, since , yields the required inequality:

if you take into account that .

>