2^(x/8)<x