___ 1 _______ \/ x + --------- > \/ x + 1 _______ \/ x + 1
sqrt(x) + 1/(sqrt(x + 1)) > sqrt(x + 1)
And(0 < x, x < oo)
(0 < x)∧(x < oo)
(0, oo)
x in Interval.open(0, oo)