Exercise 797Calculus › Single-variable calculus › Differentiation › Taylor expansionsL1Added 3 Nov 2026
A one-sided bound for √(1 + x) from the Lagrange remainder
#Taylor-Lagrange#inequality#remainder sign
Statement
Prove that for ,
Use it, together with a bound on the error, to give an enclosure of .
Hint
Apply Taylor–Lagrange at order and look at the sign of .
Show solutionHide solution
Solution
Fourth derivative. For , .
Taylor–Lagrange. There is with
and the last term is . This is the inequality.
Enclosure. Moreover , so the error is at most . For : . As ,
(True value: )
Remark. The sign of the Lagrange remainder gives a *one-sided* inequality for free: this is how polynomial inequalities such as are proved.