___ \/ 3 tan(t) > ----- 3
tan(t) > sqrt(3)/3
pi pi (--, --) 6 2
x in Interval.open(pi/6, pi/2)
/pi pi\ And|-- < x, x < --| \6 2 /
(pi/6 < x)∧(x < pi/2)