Theorem 4.8 (Kruskal-Katona). Assuming that:

$| A | = (\binom{t}{d}) = \frac{t (t - 1) \dots (t - d - 1)}{d!}$ for some real number $t$

Then

| \partial A | \geq (\binom{t}{d - 1})