Задача

№ 9420

Решите неравенство $\cos x-\sqrt{\sin y}-\sqrt{\sin y-\sin^2x}\geqslant1$.
Ответ:
Решение: