>>571
黄金の救急車ですか？（＾＾
ご苦労さまです（＾＾

>Qで不連続は不要です

同意です
なお、”不連続”は、もともとは、>>562の「系1.8 有理数の点で不連続、 無理数の点で微分可能となるf : R → R は存在しない」（>>498）に由来しますよ

>（ある条件）とは？

系1.8の証明のキーになる定理で
>>561の定理1.7 (422 に書いた定理)より
”f : R → R とする．
Bf :={x ∈ R ｜ lim sup y→x ｜（f(y) − f(x)）/（y − x）｜< +∞ }
と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば”
が条件です。

なお、定理1.7の結論命題は、「f はある開区間の上でリプシッツ連続である．」（>>561）です。

（なお、この定理1.7 については、>>561に批判のコメントを書いたので、見て頂ければ幸いです）