/ -(1 - 8*log(5) + 8*log(11)) \ | ---------------------------- | | -1 + 8*log(2) | And\x <= 2 , 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 Interval.Lopen(0, 2^((-8*log(5) + 1 + 8*log(11))/(1 - 8*log(2))))