Sperner's Theorem and a Problem of Erdos-Katona-Kleitman

Shagnik Das, Wenying Gan, Benny Sudakov

A central result in extremal set theory is the celebrated theorem of Sperner from 1928, which gives the size of the largest family of subsets of [n] not containing a 2-chain. Erdos…