log(1/2)*2*x - 6 < log(1/2)*x
x*(2*log(1/2)) - 6 < x*log(1/2)
-6 (------, oo) log(2)
x in Interval.open(-6/log(2), oo)
/ -6 \ And|x < oo, ------ < x| \ log(2) /
(x < oo)∧(-6/log(2) < x)