>>248

訂正します:

Q(x) = b_0 + b_1 * x + … + b_n * x^n を任意の n 次以下の多項式とする。

Q(x) = c_0 + c_1 * (x - a) + … + c_n * (x - a)^n

と書ける。

このとき、 Q(x) ≠ P_n(x) ならば、

lim_{x → a} (f(x) - Q(x)) / (x - a)^n ∈ R

または、

lim_{x → a} (f(x) - Q(x)) / (x - a)^n ∈ {-∞, +∞}

である。