Supersaturation in the Boolean lattice

Andrew P. Dove, Jerrold R. Griggs, Ross J. Kang +1

We prove a "supersaturation-type" extension of both Sperner's Theorem (1928) and its generalization by Erdos (1945) to k-chains. Our result implies that a largest family whose size…