log2(x-1) <= 1+log2(x-5)