Real function/Taylor formula/(n+1)-times continuously differentiable/Estimate for error/Fact/Proof