2 tan (x) > tan(x)
tan(x)^2 > tan(x)
/ /pi pi\ /pi \\ Or|And|-- < x, x < --|, And|-- < x, x < pi|| \ \4 2 / \2 //
((x < pi)∧(pi/2 < x))∨((pi/4 < x)∧(x < pi/2))
pi pi pi (--, --) U (--, pi) 4 2 2
x in Union(Interval.open(pi/4, pi/2), Interval.open(pi/2, pi))