>>162
不連続と、各点でリプシッツ連続でないことと
この二つの区別ついているかい

ついているとして、「系1.8 有理数の点で不連続、無理数の点で微分可能となるf : R → R は存在しない」は、既存の論文ですでにある
が、系1.8の”リプシッツ連続でない版”で「有理数の点でリプシッツ連続でなく、 無理数の点で微分可能となるf : R → R は存在しない」は、見つからない

見つからない理由は、１）不成立だから、２）成立するがいままで知られていなかった
の２択しかないだろ？　（まあ、探し方が悪いというのもあるかも知れないが）

あんたら、完璧に証明したから２）だと。そう単純に、言って委員会？
この定理は、成り立つなら面白いと思うし、また、成り立つなら将来教科書に載ってもおかしくないと思うけどね〜・・・？

おれは、もっと、この線を調べるよ
その過程で、成否もはっきりしてくるだろう