2 ---------- < 2 - tan(x) tan(x) + 1
2/(tan(x) + 1) < 2 - tan(x)
pi pi 3*pi
(0, --) U (--, ----)
4 2 4
x in Union(Interval.open(0, pi/4), Interval.open(pi/2, 3*pi/4))
/ / pi\ /pi 3*pi\\ Or|And|0 < x, x < --|, And|-- < x, x < ----|| \ \ 4 / \2 4 //
((0 < x)∧(x < pi/4))∨((pi/2 < x)∧(x < 3*pi/4))