Asymptotic Gilbert–Varshamov bound (source code)

= 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