sin(x) + 1 <= 5*sin(x) - 1
/pi 5*pi\ And|-- <= x, x <= ----| \6 6 /
(pi/6 <= x)∧(x <= 5*pi/6)
pi 5*pi [--, ----] 6 6
x in Interval(pi/6, 5*pi/6)