4 log(1/2)*2*x - - + 1 >= 0 x
x*(2*log(1/2)) - 4/x + 1 >= 0
x < 0
(-oo, 0)
x in Interval.open(-oo, 0)