log2(x+1)>log2(3-x)