___ /t\ -\/ 2 sin|-| > ------- \2/ 2
sin(t/2) > (-sqrt(2))/2
/ / 5*pi\ / 7*pi \\ Or|And|0 <= x, x < ----|, And|x <= 4*pi, ---- < x|| \ \ 2 / \ 2 //
((0 <= x)∧(x < 5*pi/2))∨((x <= 4*pi)∧(7*pi/2 < x))
5*pi 7*pi [0, ----) U (----, 4*pi] 2 2
x in Union(Interval.Ropen(0, 5*pi/2), Interval.Lopen(7*pi/2, 4*pi))