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