| /x\| | log|-|| | \4/| | /x\| |-------|*log(2*x*x) | log|-|| |log(10)| | \4/| -------------------- <= |-------| log(4*x) |log(10)|
(log(x*(2*x))*Abs(log(x/4)/log(10)))/log(4*x) <= Abs(log(x/4)/log(10))
Or(And(x <= 2, 1/4 < x), x = 4)
(x = 4))∨((x <= 2)∧(1/4 < x)
(1/4, 2] U {4}
x in Union(FiniteSet(4), Interval.Lopen(1/4, 2))