3 tan (x) > 1
tan(x)^3 > 1
pi pi (--, --) 4 2
x in Interval.open(pi/4, pi/2)
/pi pi\ And|-- < x, x < --| \4 2 /
(pi/4 < x)∧(x < pi/2)