sin(x) >= cos(x)
pi 5*pi [--, ----] 4 4
x in Interval(pi/4, 5*pi/4)
/pi 5*pi\ And|-- <= x, x <= ----| \4 4 /
(pi/4 <= x)∧(x <= 5*pi/4)