Lemma 8.4.2 — sphere-packing bound $A(n,2r+1) \le \lfloor 2^n/\sum_{i\le r}\binom ni\rfloor$

Initializing...

Lemma 8.4.2 — sphere-packing bound $A(n,2r+1) \le \lfloor 2^n/\sum_{i\le r}\binom ni\rfloor$ · Prove2Me