ピエロのアップしたＰＤＦ（下記）に証明があるが、下記無理数を(a)連分数展開可能な無理数の点と、(b)そうでない無理数で微分出来ない点に分け、 (a)は微分可能で、”(a) and (b) are both of them un-countable.”だと。まあ、これは私の手では独力では証明できないと悟った
事実、筆者もP2 "Actually, a big part of this study has already been done in the literature; see, for instance, [2, 3, 6, 7]. Here we present some results that are already known (usually whith a dierent proof), and some that seem to be new."とあって、何人ものプロ数学者の数十年の積み上げ成果だから、おれなんかがちょっと考えて解ける問題じゃないね
