>>68
>と置く: もしR−Bf が内点を持たない閉集合の高々可算和で被覆できるならば、
>f はある開区間の上でリプシッツ連続である．
>の証明もすべっていると思う

g(y) = 1/n^3 (∃m,n ∈N、y = m/n, (m,n) = 1 のとき) 0 (otherwise)
で定めて
f(x) = Σ[y∈Q、0≦y≦x] g(y)
と定めればR−BfはQの部分集合なので内点を持たない閉集合の高々可算和で被覆できるけどfは連続にならないのでは？