Problem 1. Show that the equation \(\displaystyle \cos(\cos x) = \sin(\sin x)\) has no real solutions.
Alexander Slávik, Charles University, Prague
Solution
