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 center $x$.

What is a lower bound for the cardinality of $V_r$? Is the cardinality of $V_r$ the smallest when $V$ is a Hamming full-ball (as in Harper's theorem)?