>>494
fがx=aの近傍で∞に微分できればいいんじゃないんですか?