>>78 つづき

上記PDFより
(抜粋) （なお、この板では正確に記述できないので、原文PDFをご参照ください）
定理1.7 (422 に書いた定理)
f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、 f はある開区間の
上でリプシッツ連続である．

証明

略

よって、 f は(a, b) 上でリプシッツ連続である．
(引用終り)

つづく