2026
CLM-INFO-003220>= A2(n,d) >= 2^n / sum_{i=0}^{d-1} binom(n,i)LOWER BOUNDThe cited theorem establishes A2(n,d) >= 2^n / sum_{i=0}^{d-1} binom(n,i) under the current specification; this does not assert universal empirical attainability.Source: A comparison of signalling alphabets — Gilbert–Varshamov achievable coding bound ↗
PROVEN