_______ \/ x - 5 > x - 8
sqrt(x - 5) > x - 8
/ ____\ | 17 \/ 13 | And|5 <= x, x < -- + ------| \ 2 2 /
(5 <= x)∧(x < 17/2 + sqrt(13)/2)
____ 17 \/ 13 [5, -- + ------) 2 2
x in Interval.Ropen(5, sqrt(13)/2 + 17/2)