2 / 2 \ 2 |/log(x)\ log(x)| /log(x)\ log(x) ||------| - 2*------| < 11*|------| - 22*------ - 24 \\log(2)/ log(2)/ \log(2)/ log(2)
((log(x)/log(2))^2 - 2*log(x)/log(2))^2 < 11*(log(x)/log(2))^2 - 22*log(x)/log(2) - 24
Or(And(1/4 < x, x < 1/2), And(8 < x, x < 16))
((1/4 < x)∧(x < 1/2))∨((8 < x)∧(x < 16))
(1/4, 1/2) U (8, 16)
x in Union(Interval.open(1/4, 1/2), Interval.open(8, 16))