_______ \/ x + 5 < 1 + x
sqrt(x + 5) < x + 1
/ ____ \ | 1 \/ 17 | And|x < oo, - - + ------ < x| \ 2 2 /
(x < oo)∧(-1/2 + sqrt(17)/2 < x)
____ 1 \/ 17 (- - + ------, oo) 2 2
x in Interval.open(-1/2 + sqrt(17)/2, oo)