1. Обозначив cos x=t, получим неравенство t*|t|>= -1/2
2. Рассмотрим случаи
А. t>=0,
получим t^2>= -1/2, что верно при любом t,
таким образом, нас устроит любое неотрицательное t.
Б. t<0,
-t^2>=-1/2,
t^2<=1/2.
Учитывая ограничивающее условие области Б, получим
-1/V2 <=t<=0.
Объединяя интервалы, получим t>=-1/V2.
Возвращаясь к x, получим объединение интервалов вида
[-3pi/4+2pi*n, 3pi/4+2pi*n], где n — целое число