holds for
x∈R
0≤x≤1
-1≤x≤0
Clearly ,0≤LHS≤π/2 because cos-1x is in the first quadrant, when is positive