2 ------------- > 0 sin(x)*cos(x)
2/((sin(x)*cos(x))) > 0
/ pi\ And|0 < x, x < --| \ 2 /
(0 < x)∧(x < pi/2)
pi (0, --) 2
x in Interval.open(0, pi/2)