Proof WritingSuperchallengePigeonhole and Extremal Arguments
Pigeonhole and Extremal Arguments · Superchallenge problem
Every sequence of different numbers contains an increasing or a decreasing subsequence of length . What is the largest such that EVERY sequence of different numbers is sure to contain an increasing or a decreasing subsequence of length ?