「系1.8 有理数の点で不連続, 無理数の点で微分可能となるf : R → R は存在しない.」（>>184） このような”f : R → R は存在しない”という理由は、 無理数側にあって、 無理数側に微分不可のみならず、>>245にあるように ”any specified pointwise modulus of continuity condition” ＆ ”at least one of the four Dini derivates of f is infinite” なる集合Eがあって、”E is co-meager in R (i.e. the complement of a first category set).”となってしまうこと
だから、微分不可の集合は、「高々可算ではおさまらず、非可算濃度になる」と。それが”系1.8 の関数f : R → Rが存在しない”理由なのだ（決して”開区間(a, b)”が存在するからではない ）
