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