Real function/Taylor formula/(n+1)-times continuously differentiable/Lagrange/Fact