denote the minimum covering radius of a binary linear
code. We give a nonconstructive upper bound on
, which coincides asymptotically with the known lower bound, namely
, where
is fixed,
, and
is the inverse of the binary entropy function.