>>40 補足

反例の一つの可能性は、連続関数の1回の極限としてのBaire-1級関数で、
可算無限個のリプシッツ”不”連続点(=内点を持たない)が、稠密に分散している関数

そういう関数が、反例として構成できる可能性がないか?

私には、どうすれば良いか
さっぱり浮かびませんがね〜(^^