Taylor's Inequality — Definition, Formula & Examples
Taylor's Inequality is a formula that tells you the maximum possible error when you approximate a function using a Taylor polynomial of degree . It bounds the remainder term by relating it to the size of the th derivative on the interval between the center and the point of approximation.
If for all between and , then the remainder of the th-degree Taylor polynomial centered at satisfies .
Key Formula
Where:
- = The remainder (error) between f(x) and its nth-degree Taylor polynomial
- = An upper bound for |f^{(n+1)}(t)| on the interval between a and x
- = The degree of the Taylor polynomial
- = The center of the Taylor expansion
- = The point at which you are approximating f
How It Works
To use Taylor's Inequality, first identify the degree of your Taylor polynomial and the center . Then find a bound on for all between and —this is often the trickiest step and may require knowing that the derivative is increasing or bounded by a convenient constant. Plug , , , and into the formula to get the maximum error. If the bound is not small enough, increase and repeat.
Worked Example
Problem: Estimate the error when approximating using the 3rd-degree Taylor polynomial for centered at .
Identify derivatives: Every derivative of is . We need a bound on for .
Find M: Since is increasing, its maximum on is . We can safely overestimate: .
Apply the inequality: With , , and :
Answer: The error in the approximation is at most , meaning the 3rd-degree polynomial gives accurate to about four decimal places.
Why It Matters
Taylor's Inequality is essential whenever you need a guaranteed precision for a numerical approximation—common in scientific computing, engineering calculations, and numerical analysis courses. It also provides one standard method for proving that a Taylor series converges to its function by showing as .
Common Mistakes
Mistake: Using the value of the th derivative only at the center instead of finding its maximum on the entire interval .
Correction: You must bound for all between and . Evaluate or overestimate the derivative on the whole interval to get a valid .
