 Solution

The Kruskal-Katona theorem states that a colexicographic initial segment minimizes the lower shadow of a uniform set family of prescribed size. Its numerical form is as follows. For $m>0$, write the unique combinatorial number system expansionEvery $\mathcal{F}\subseteq [n{]}^{(r)}$ of size $m$ satisfiesThe empty family has empty lower shadow. Equality is attained by the first $m$ $r$-sets in colexicographic order, where the largest differing element belongs to the later set. Iterating the Kruskal-Katona theorem shows that the same colexicographic initial segment minimizes every iterated lower shadow.

For $1\le r<n/2$, the Erdős-Ko-Rado theorem givesfor an intersecting family $\mathcal{F}\subseteq [n{]}^{(r)}$. All $r$-sets containing one prescribed point show that the bound is sharp.

For the proof from the Kruskal-Katona theorem, put $k=n-r$ and form the complement family $\mathcal{G}=\{[n]\setminus A:A\in \mathcal{F}\}\subseteq [n{]}^{(k)}$. Let $\mathcal{S}$ be its rank-$r$ iterated lower shadow. No member $B\in \mathcal{F}$ belongs to $\mathcal{S}$: containment in $[n]\setminus A$ would give $A\cap B=\varnothing$, impossible for an intersecting family of nonempty sets. HenceSuppose $|\mathcal{F}|>\left(\genfrac{}{}{0ex}{}{n-1}{r-1}\right)=\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)$. The first $\left(\genfrac{}{}{0ex}{}{n-1}{k}\right)$ members of the colexicographic order are all $k$-sets of $[n-1]$. Their rank-$r$ iterated lower shadow is all $r$-sets of $[n-1]$, since $r<k$. The next $k$-set contains $n$ and has an $r$-subset containing $n$, so taking even one more member strictly enlarges that iterated lower shadow. By the iterated Kruskal-Katona theorem, $|\mathcal{S}|>\left(\genfrac{}{}{0ex}{}{n-1}{r}\right)$. Together with $|\mathcal{F}|>\left(\genfrac{}{}{0ex}{}{n-1}{r-1}\right)$ this contradicts Pascal's identity and the preceding inequality. This proves the Erdős-Ko-Rado theorem.

For the Katona circle method proof, fix a cyclic ordering of $[n]$. A cyclic interval of length $r$ is specified by its final position. If no such interval belongs to $\mathcal{F}$, the bound below is automatic. Otherwise rotate one selected interval so that it ends at position $n$, and thus occupies positions $n-r+1,\dots ,n$. Intervals ending at positions $r,\dots ,n-r$ are disjoint from it and cannot be selected. Among the remaining endpoints, pair $j$ with $n-r+j$ for $1\le j\le r-1$. The corresponding intervals are disjoint when $n\ge 2r$, so at most one interval per pair is selected. Together with the interval ending at $n$, this gives the cyclic interval intersection bound of $r$ selected intervals.

Choose a uniformly random permutation and read its positions cyclically. A fixed $r$-set is a cyclic interval with probability $n/\left(\genfrac{}{}{0ex}{}{n}{r}\right)$: each cyclic position gives a uniformly distributed $r$-set, and for $r<n$ the $n$ intervals are distinct. Summing over $\mathcal{F}$, the expected value of the number of selected intervals is $n|\mathcal{F}|/(\genfrac{}{}{0ex}{}{n}{r})$. The cyclic interval intersection bound makes this at most $r$, giving $|\mathcal{F}|\le (r/n)\left(\genfrac{}{}{0ex}{}{n}{r}\right)=\left(\genfrac{}{}{0ex}{}{n-1}{r-1}\right)$.

Finally apply the Katona circle method to an arbitrary antichain $\mathcal{A}$. If it contains $\varnothing$ or $[n]$, it has exactly one member and the LYM inequality holds with equality. Otherwise all its members have sizes $1,\dots ,n-1$. In a fixed cyclic ordering, the cyclic intervals sharing a final position form a nested chain as their lengths increase. At most one of them can belong to the antichain. Summing over the $n$ final positions proves the cyclic interval antichain bound of $n$ intervals. Taking the expected value over a uniformly random permutation givesAfter division by $n$, this is the LYM inequality proved by cyclic intervals. The case $n=0$ consists only of the empty set and is immediate.