 Asymptotic Hamming bound

The Hamming bound packs disjoint balls of radius approximately $\delta n/2$. Taking logarithms and using the Hamming ball volume exponent gives the bound for $0\le \delta \le 1$.

// Target: algebra.bigb