Maths WorkshopMaths problems with full solutions
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 x≥0x\ge0,
1+x≤1+x2−x28+x316.\sqrt{1+x}\le1+\frac x2-\frac{x^2}8+\frac{x^3}{16}.
Use it, together with a bound on the error, to give an enclosure of 1.2\sqrt{1.2}.

Hint

Apply Taylor–Lagrange at order 33 and look at the sign of f(4)f^{(4)}.

Show solutionHide solution

Solution

Fourth derivative. For f(x)=1+xf(x)=\sqrt{1+x}, f(4)(x)=−1516(1+x)−7/2<0f^{(4)}(x)=-\frac{15}{16}(1+x)^{-7/2}<0.

Taylor–Lagrange. There is c∈(0,x)c\in(0,x) with
1+x=1+x2−x28+x316+f(4)(c)24x4,\sqrt{1+x}=1+\frac x2-\frac{x^2}8+\frac{x^3}{16}+\frac{f^{(4)}(c)}{24}x^4,
and the last term is ≤0\le0. This is the inequality.

Enclosure. Moreover ∣f(4)(c)∣≤1516|f^{(4)}(c)|\le\frac{15}{16}, so the error is at most 1516⋅24x4=5128x4\frac{15}{16\cdot24}x^4=\frac{5}{128}x^4. For x=0.2x=0.2: 5128⋅0.0016=6.25⋅10−5\frac5{128}\cdot0.0016=6.25\cdot10^{-5}. As P3(0.2)=1.0955P_3(0.2)=1.0955,
1.09543≤1.2≤1.0955.1.09543\le\sqrt{1.2}\le1.0955.
(True value: 1.095445…1.095445\dots)

Remark. The sign of the Lagrange remainder gives a *one-sided* inequality for free: this is how polynomial inequalities such as cos⁡x≥1−x22\cos x\ge1-\frac{x^2}2 are proved.