2^(n-8) <= n