the error bound |f(x) - L(x)| <= (M_2)/(2)(x-a)^2 from Taylor's theorem with the Lagrange remainder