If n items are placed in m < n containers, at least one container holds ≥ 2 items. Deceptively powerful; behind many existence proofs.
If n items are placed in m < n containers, at least one container holds ≥ 2 items. Deceptively powerful; behind many existence proofs.