2026
CLM-INFO-003220>= A2(n,d) >= 2^n / sum_{i=0}^{d-1} binom(n,i)LR-003220 — Gilbert–Varshamov achievable coding bound
ACCEPTED
Limits RegistryPAPERLimits RegistryPAPERLimits RegistryPAPER
Limits RegistryAuthoritative theorem source defining the registered information-theoretic formula under explicit model assumptions.