Интересная задача, можно сказать даже с юмором. Приступим.
4sin(x/2) * cos(x/2) ≤ -1
Отправляю своё решение
первый теплоход: