With the first terms counted from the constant term, Taylor's theorem gives
where lies between and . Continuous derivatives through order on the joining interval are a sufficient hypothesis for this Taylor theorem with Lagrange remainder. The Taylor remainder measures the error of the finite Taylor polynomial; convergence of the corresponding infinite Taylor series is a separate question.
For , the required derivatives are
At these give , , and . Setting , the three-term Taylor polynomial yields
By the Taylor theorem with Lagrange remainder, the signed error is
It is positive, and . Consequently
The last comparison is exact because . Thus the estimate is an underestimate with the required rigorous absolute error bound.
Use the Maclaurin series and . The terms through fourth degree give
In particular the cubic coefficient cancels; it has not been omitted accidentally.
The Maclaurin series give and . Inverting the latter using the geometric series gives
Multiplying the two expansions yields
The remainder is because the product already generates an term from .

Articles by others on the same topic (0)

There are currently no matching articles.