Maths WorkshopMaths problems with full solutions
Exercise 8Calculus › Single-variable calculus › Differentiation › Differentiable functionsL1Added 2 Nov 2026

Polynomial bounds for sine and cosine

#inequalities#monotonicity

Statement

Prove that for all x≥0x\ge0:
sin⁡x≤x,cos⁡x≥1−x22,sin⁡x≥x−x36.\sin x\le x,\qquad\cos x\ge1-\frac{x^2}2,\qquad\sin x\ge x-\frac{x^3}6.

Hint

Chain the three inequalities: each one is obtained by studying the sign of the derivative of a function that is 00 at x=0x=0.

Show solutionHide solution

Solution

Step 1: sin⁡x≤x\sin x\le x. Let g1(x)=x−sin⁡xg_1(x)=x-\sin x. Then g1′(x)=1−cos⁡x≥0g_1'(x)=1-\cos x\ge0, so g1g_1 is non-decreasing on [0,+∞)[0,+\infty) and g1(x)≥g1(0)=0g_1(x)\ge g_1(0)=0.

Step 2: cos⁡x≥1−x22\cos x\ge1-\frac{x^2}2. Let g2(x)=cos⁡x−1+x22g_2(x)=\cos x-1+\frac{x^2}2. Then g2′(x)=x−sin⁡x=g1(x)≥0g_2'(x)=x-\sin x=g_1(x)\ge0 by Step 1, and g2(0)=0g_2(0)=0, so g2≥0g_2\ge0 on [0,+∞)[0,+\infty).

Step 3: sin⁡x≥x−x36\sin x\ge x-\frac{x^3}6. Let g3(x)=sin⁡x−x+x36g_3(x)=\sin x-x+\frac{x^3}6. Then g3′(x)=cos⁡x−1+x22=g2(x)≥0g_3'(x)=\cos x-1+\frac{x^2}2=g_2(x)\ge0 by Step 2, and g3(0)=0g_3(0)=0, so g3≥0g_3\ge0 on [0,+∞)[0,+\infty).

Application. Together they give 1−x26≤sin⁡xx≤11-\frac{x^2}6\le\frac{\sin x}x\le1 for x>0x>0, which re-proves sin⁡xx→1\frac{\sin x}x\to1 by squeezing.