Generalized Hamming bound: $k \le n - \log_q \sum_{i \le \lfloor (d-1)/2 \rfloor} \binom{n}{i}(q-1)^i$

Initializing...

Generalized Hamming bound: $k \le n - \log_q \sum_{i \le \lfloor (d-1)/2 \rfloor} \binom{n}{i}(q-1)^i$ · Prove2Me