/ x + 4 \ log|3 - x, --------| > 2 | 2| \ (x - 3) /
log(3 - x, (x + 4)/(x - 3)^2) > 2
x0 = 0
log(3) -------- > 2 log(4/9)
/ ____ \ | / 5 4 3 2 \ 7 \/ 29 | And|x < CRootOf\x - 15*x + 90*x - 269*x + 413*x - 227, 0/, - - ------ < x| \ 2 2 /
(7/2 - sqrt(29)/2 < x)∧(x < CRootOf(x^5 - 15*x^4 + 90*x^3 - 269*x^2 + 413*x - 227, 0))
____ 7 \/ 29 / 5 4 3 2 \ (- - ------, CRootOf\x - 15*x + 90*x - 269*x + 413*x - 227, 0/) 2 2
x in Interval.open(7/2 - sqrt(29)/2, CRootOf(x^5 - 15*x^4 + 90*x^3 - 269*x^2 + 413*x - 227, 0))