anemone
Gold Member
MHB
POTW Director
- 3,851
- 115
Prove that $\cos(\sin x))+\cos(\cos x))<\dfrac{\pi}{2}$.