/ -3*log(3) + 3*log(10) + log(2) \
And|x < oo, ------------------------------------ < x|
\ 2*(-3*log(2) - 2*log(3) + 2*log(10)) /
$$x < \infty \wedge \frac{- 3 \log{\left(3 \right)} + \log{\left(2 \right)} + 3 \log{\left(10 \right)}}{2 \left(- 2 \log{\left(3 \right)} - 3 \log{\left(2 \right)} + 2 \log{\left(10 \right)}\right)} < x$$
(x < oo)∧((-3*log(3) + 3*log(10) + log(2))/(2*(-3*log(2) - 2*log(3) + 2*log(10))) < x)
-(-3*log(3) + 3*log(10) + log(2))
(------------------------------------, oo)
2*(-2*log(10) + 2*log(3) + 3*log(2))
$$x\ in\ \left(- \frac{- 3 \log{\left(3 \right)} + \log{\left(2 \right)} + 3 \log{\left(10 \right)}}{2 \left(- 2 \log{\left(10 \right)} + 3 \log{\left(2 \right)} + 2 \log{\left(3 \right)}\right)}, \infty\right)$$
x in Interval.open(-(-3*log(3) + log(2) + 3*log(10))/(2*(-2*log(10) + 3*log(2) + 2*log(3))), oo)