Theorem 8 (LYM Inequality). Assuming that:

$A \subset P (X)$ is an antichain

Then

\sum_{r = 0}^{n} \frac{| A \cap X^{(r)} |}{(\binom{n}{r})} \leq 1 .