Asymptotic Hamming bound (${\alpha }_q(\delta )\le 1-H_q(\delta /2)$)

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