>>175
勉強不足ですまない
f:R→Rがすべてのxに対して点aを中心としてテイラー展開可能で、
∞ = sup{|x-a| | Σf^(n)(a)(x-a)^n/n!が収束する}だから、
∞ = sup{|x-b| | Σf^(n)(b)(x-b)^n/n!が収束する}
であって、
fのbでのテイラー級数が収束するというのは自明として、
fのbでのテイラー級数が元の関数fに一致することはどう証明するんだろう