2 ___ (x - 9) < \/ 2 *(x - 9)
(x - 9)^2 < sqrt(2)*(x - 9)
/ ___\ And\9 < x, x < 9 + \/ 2 /
(9 < x)∧(x < 9 + sqrt(2))
___ (9, 9 + \/ 2 )
x in Interval.open(9, sqrt(2) + 9)