Задача

№ 10030

При всех значениях $a\in\mathbb R$ решите неравенство \[ \arccos\left(\frac{1-x^2}{1+x^2}\right)+(x-a)^2\leqslant 2\operatorname{arctg}x. \]
Ответ:
Решение: