x x 3 > 7*2
3^x > 7*2^x
/ -log(7) \ And|x < oo, ---------------- < x| \ -log(3) + log(2) /
(x < oo)∧(-log(7)/(-log(3) + log(2)) < x)
-log(7) (----------------, oo) -log(3) + log(2)
x in Interval.open(-log(7)/(-log(3) + log(2)), oo)