log2(2x-1)>log1/2(1-3x)