MathCastle
Proof WritingMediumPigeonhole and Extremal Arguments

Pigeonhole and Extremal Arguments · Medium problem

Which of these sets is guaranteed to have a SMALLEST element, so that "let xx be the smallest element" is a legal first line?