Page "Kruskal–Katona theorem" Paragraph 7

Let A be a set consisting of N distinct i-element subsets of a fixed set U (" the universe ") and B be the set of all ( i − r )- element subsets of the sets in A.

Expand N as above.

Then the cardinality of B is bounded below as follows: