（>>13より）f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
(引用終り)
「lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞」は、
下記の４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)が
有限値で収まることを意味している。
https://www.amazon.co.jp/dp/0387984801
https://books.google.co.jp/books?id=MzQ6JA6SiHYC&;pg=PA215&lpg=PA215&dq=%22liminf+of+functions%22#v=snippet&q=%20&f=false
Fundamentals of Real Analysis 著者: Sterling K. Berberian 出版社: Springer; Softcover reprint of the original 1st ed. 1999版 (1998/11/1)
P220のパラグラフ5.3.6に４つの Dini微分 (D^+ g)(c),(D + g)(c),(D^- g)(c),(D - g)(c)
と、lim sup, lim inf との関係が載っている
(引用終り)
