(1/2)^(2x+1) >= 8(1/2)^x