>>536
なるほど。
これはfg微分から|x| ≠ 1で微分可能だと分かりますね。

あとは>>480のように、x=1において f^(n)(x) が連続
である→左微分係数と右微分係数が一致→
微分可能であると言えばよいですか？

これで証明としては抜けはないでしょうか？
心配なのは、