Просьба подсказать источник границы покрытия пр-ва Хемминга

[Iam]

Давно в интернете мне попалось следующее неравенство для оценки сверху числа $N(n,t)$ шаров радиуса $t$, покрывающих двоичное $n$-мерное хемминово пространство
$N(n,t)\le [\frac {2^n} {S_n^t} \log_2 {S_n^t} ] $, где $S_n^t$ - объем шара.
Автор сообщения на вопросы не отвечал и вообще исчез. Просьба подсказать источник этой границы.
Примечание. Контрпримера не нашел.

[Iam]

PS. Заметил, что в вырожденном случае (t=0) ПЧ =0, а должно быть $2^n$. Тогда справедливость нер-ва уже под сомнением (?).