自作問題。

f,L:(a,b)→Rは次の2つの条件を満たすとする。
・Lは各点で微分可能(C^1級とは限らない)
・∀x∈(a,b),∀ε>0,∃δ>0 s,t y∈(a,b),0<|y−x|<δ → {f(y)−f(x)}/(y−x)≦L'(x)
このとき、次が成り立つことを示せ。
・a<x≦y<b → f(y)−f(x)≦L(y)−L(x)