>>448　e^(-1/x)を１回微分すると e(-1/x)/(x^2) で、e^(-1/x)も1/(x^2)もそれぞれ無限回微分可能
　　　　⇒e(-1/x)/(x^2)　は無限回微分可能
　というのはアウトでしょうか？？