>>575
>上記>>574 の定理1.7での Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
>
>に対する補集合 R−Bfが満たすべき性質を、都合上、俗に”リプシッツ不連続”と呼称させて頂きました
つまり
xにおいて``リプシッツ不連続''とは
limsup[y→x] |(f(y)-f(x))/(y-x)|=+∞
ということですか
ならば
無理数で可微分有理数でリプシッツ不連続な関数は存在しないという結論を導けますよ