4 - x 1 ----- >= ----- x - 5 1 - x
(4 - x)/(x - 5) >= 1/(1 - x)
And(1 < x, x < 5)
(1 < x)∧(x < 5)
(1, 5)
x in Interval.open(1, 5)