_______ \/ x + 1 > x
sqrt(x + 1) > x
___ 1 \/ 5 [-1, - + -----) 2 2
x in Interval.Ropen(-1, 1/2 + sqrt(5)/2)
/ ___\ | 1 \/ 5 | And|-1 <= x, x < - + -----| \ 2 2 /
(-1 <= x)∧(x < 1/2 + sqrt(5)/2)