log(4) ------*x <= log(2)*(2*x - 4) 2
x*(log(4)/2) <= (2*x - 4)*log(2)
And(4 <= x, x < oo)
(4 <= x)∧(x < oo)
[4, oo)
x in Interval(4, oo)