_____________ / 2 \/ log (x) - 1 > log(x)
sqrt(log(x)^2 - 1) > log(x)
/ -1 \ And\x <= e , 0 < x/
(0 < x)∧(x <= exp(-1))
-1 (0, e ]
x in Interval.Lopen(0, exp(-1))