log(x) - 5 ------------ >= 2*log(x) 1 - 2*log(x)
(log(x) - 5)/(1 - 2*log(x)) >= 2*log(x)
-1 1/2 5/4 (0, e ] U (e , e ]
x in Union(Interval.Lopen(0, exp(-1)), Interval.Lopen(exp(1/2), exp(5/4)))
/ / 5/4 1/2 \ / -1 \\ Or\And\x <= e , e < x/, And\x <= e , 0 < x//
((0 < x)∧(x <= exp(-1)))∨((x <= exp(5/4))∧(exp(1/2) < x))