 Vertex-isoperimetric inequality in the discrete cube

For the Boolean hypercube, the initial segment of the simplicial order on the discrete cube minimizes the size of the closed vertex neighbourhood among families of a given size. Equivalently, it minimizes the external vertex boundary. This is a vertex assertion, distinct from the edge-isoperimetric inequality in the discrete cube.