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 be the smallest element" is a legal first line?
Which of these sets is guaranteed to have a SMALLEST element, so that "let be the smallest element" is a legal first line?