Задача

№ 9263

Найти целые $x$, для которых \[ x^2\sin\dfrac{\pi x}{2}\geqslant10-6\cos\dfrac{\pi x}{3}. \]
Ответ:
Решение: