Let $V \subseteq \{0,1\}^n$, $\log|V| = k$. Consider
$V_r:= \bigcup_{x \in V} V_r(x)$, where $V_r(x)$ is a Hamming full-ball of radius $r$ and the center $x$.
What is a lower bound for the cardinality of $V_r$? DoesIs the cardinality of $V_r$ is the smallest when $V$ is a Hamming full-ball (likeas in Harper's theorem)?