Using the relation 2 (1 - cos x) < x2 , x ≠ 0 or otherwise, prove that sin (tan x) ≥ x, ∀ x ∈ [0, pi/4]
Let f (x) = sin (tan x) - x