= Solution
Let $\mathcal A\subseteq[n]^{(r)}$ be an <intersecting family>, with $n\geq2r$. By the <Iterated local LYM inequality>, its upper shadow in level $n-r$ satisfies
$$
|\nabla^{,n-2r}\mathcal A|
\geq
\frac{\binom n{n-r}}{\binom nr}|\mathcal A|
=|\mathcal A|.
$$
The family of complements $\mathcal A^c=\{[n]\setminus A:A\in\mathcal A\}$ also lies in level $n-r$ and has cardinality $|\mathcal A|$. It is disjoint from the upper shadow: if $A\subseteq[n]\setminus B$ for $A,B\in\mathcal A$, then $A\cap B=\varnothing$, contradicting intersection. Both families fit inside the $(n-r)$th level, so
$$
2|\mathcal A|\leq\binom n{n-r}=\binom nr.
$$
Thus replacing the <Kruskal-Katona theorem> by Local LYM gives only
$$
\boxed{|\mathcal A|\leq\frac12\binom nr.}
$$
This agrees with the <Erdős-Ko-Rado theorem> when $n=2r$ but is weaker when $n>2r$.
Back to article page
