x*log(3) > x - 4
/ 4 \ And|x < oo, ---------- < x| \ 1 - log(3) /
(x < oo)∧(4/(1 - log(3)) < x)
4 (----------, oo) 1 - log(3)
x in Interval.open(4/(1 - log(3)), oo)