>>648
『f(x)がx=1で微分可能』ということを前提にしてもいい、というんじゃなくて

もしも仮にf(x)がx=1で微分可能だとしたら、連続でなきゃだめだよ！
というふうに、まず「必要条件」から攻めているわけだ。