/ -(1 - 8*log(5) + 8*log(11)) \
| ---------------------------- |
| -1 + 8*log(2) |
And\x <= 2 , 0 < x/
$$x \leq 2^{- \frac{- 8 \log{\left(5 \right)} + 1 + 8 \log{\left(11 \right)}}{-1 + 8 \log{\left(2 \right)}}} \wedge 0 < x$$
(0 < x)∧(x <= 2^(-(1 - 8*log(5) + 8*log(11))/(-1 + 8*log(2))))
1 - 8*log(5) + 8*log(11)
------------------------
1 - 8*log(2)
(0, 2 ]
$$x\ in\ \left(0, 2^{\frac{- 8 \log{\left(5 \right)} + 1 + 8 \log{\left(11 \right)}}{1 - 8 \log{\left(2 \right)}}}\right]$$
x in Interval.Lopen(0, 2^((-8*log(5) + 1 + 8*log(11))/(1 - 8*log(2))))