Problem

Source: Flanders Math Olympiad 2018 p2

Tags: trigonometry, inequalities, algebra



Prove that for every acute angle $\alpha$, $\sin (\cos \alpha) < \cos(\sin \alpha)$.