>>875
余計な仮定なしの極普通の条件「n回まで微分可そしてそれが連続」から言えるのは
f(x) = f(0) + .. + (1/n!).f⁽ⁿ⁾(0).xⁿ + o(xⁿ)
教科書は一般論を述べたいはずなのでこれでいいんです.
解析関数のように O(x^{n+1}) と書ける場合を含んでいるし
その必要があれば O で書くでしょう. これで混乱する人はもっと他の所で躓くはず

fのn階導関数が連続ならば
f(x) = f(0) + ∫[0,x] f⁽¹⁾(ξ₁) dξ₁
= f(0) + ∫ [0,x] { f¹(0) + ∫ [0,ξ₁]f⁽²⁾(ξ₂)dξ₂ } dξ₁
= f(0) + f¹(0).x + ∫ [0,x] dξ₁ ∫ [0,ξ₁] dξ₂ f⁽²⁾(ξ₂)
= f(0) + f¹(0).x + ∫∫ [0,x]² dξ² χ(0≦ξ₂≦ξ₁≦x) f⁽²⁾(ξ₂)
= f(0) + .. + ∫..∫ [0,x]ⁿdξⁿ χ(0≦ξₙ≦..≦ξ₂≦ξ₁≦x).f⁽ⁿ⁾(ξₙ)
= f(0) + .. + ∫ [0,x] dξₙ (1/(n-1)!) ∫..∫ [ξₙ,x]ⁿ⁻¹dξⁿ⁻¹ f⁽ⁿ⁾(ξₙ)
= f(0) + .. + (1/(n-1)!).∫ [0,x]dξ (x-ξ)ⁿ⁻¹{ f⁽ⁿ⁾(0) + q(ξ) } .... ( q(ξ) := f⁽ⁿ⁾(ξ) - f⁽ⁿ⁾(0) )
= f(0) + .. + (1/n!).f⁽ⁿ⁾(0).xⁿ + (1/(n-1)!).∫ [0,x]dξ (x-ξ)ⁿ⁻¹q(ξ)

|∫[0,x]dξ (x-ξ)ⁿ⁻¹q(ξ)| ≦ (xⁿ/n!).sup{0≦ξ≦x}(|q(ξ)|) = o(xⁿ)
∵ lim{x→0} sup{0≦ξ≦x}(|q(ξ)|) = 0 {f⁽ⁿ⁾(ξ)の連続性}

よって f(x) = f(0) + .. + (1/n!).fⁿ(0).xⁿ + o(xⁿ)

> f(x) = f(0) + f'(0)*x + (f''(0)/2)*x^2 + … + (f^{(n)}(0)/n!)*x^n + (f^{(n+1)}(0)/(n+1)!)*x^{n+1} + o(x^{n+1})
> は成り立たないが,
これは、あまり考えたく無い条件「f^{(n+1)}(ξ)は連続ではない」が必要になります
そういうのは必要が生じたら考えればいいだけであって記法の心配とは無縁の話でしょう