Identify cube vertices with subsets of . In a down-set , every has all its immediate lower neighbors in . Counting each internal edge by its upper endpoint gives the edge boundary of a down-set in a cube
To maximize it, minimize the sum of set sizes. Among all families of sets, the minimum is obtained by taking the smallest ranks first. This choice is a down-set: take every set of size below , followed by any required selection of -sets.
Write , with , and choose such that . The largest edge boundary of a down-set is therefore
Equivalently, it is . This includes and , with boundary zero. If is exactly a complete-level size, either adjacent choice of gives the same value.