Cota de Gilbert–Varshamov

Una cota inferior existencial sobre el tamaño máximo M de un código q-ario de bloque de longitud n y distancia de Hamming mínima d: existe un código con al menos M ≥ q^n / V_q(n,d-1) palabras de código, donde V_q(n,d-1)=∑_{i=0}^{d-1} binom(n,i)(q-1)^i (equivalente a la derivación por una construcción voraz). La cota garantiza existencia, no constructibilidad eficiente.