Asymptotic Hamming bound
= Asymptotic Hamming bound
{title2=$\alpha_q(\delta)\le1-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\le1$.
// Target: algebra.bigb