sin(x) < 1
pi pi [0, --) U (--, 2*pi] 2 2
x in Union(Interval.Ropen(0, pi/2), Interval.Lopen(pi/2, 2*pi))
/ / pi\ / pi \\ Or|And|0 <= x, x < --|, And|x <= 2*pi, -- < x|| \ \ 2 / \ 2 //
((0 <= x)∧(x < pi/2))∨((x <= 2*pi)∧(pi/2 < x))