Asymptotic Gilbert–Varshamov bound
= Asymptotic Gilbert–Varshamov bound
{title2=$\alpha_q(\delta)\ge1-H_q(\delta)$}
For $0\le\delta\le1-1/q$, take logarithms of the <Gilbert–Varshamov bound> and apply the <Hamming ball volume exponent>. The <Varshamov bound for linear codes> gives the same achievable lower bound within linear codes for prime-power $q$.
// Target: algebra.bigb