___ ___ x*\/ 2 - 1 < x + \/ 2
sqrt(2)*x - 1 < x + sqrt(2)
/ ___\ -\1 + \/ 2 / (-oo, -------------) ___ 1 - \/ 2
x in Interval.open(-oo, -(1 + sqrt(2))/(1 - sqrt(2)))
/ / ___\ \ | -\1 + \/ 2 / | And|-oo < x, x < -------------| | ___ | \ 1 - \/ 2 /
(-oo < x)∧(x < -(1 + sqrt(2))/(1 - sqrt(2)))