MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 3 Texified because this question was on the front page anyway

A simple application is the following:

Every sequence of $n^2 +1$ distinct real numbers contains a subsequence of length $n +1$ that is either strictly increasing or strictly decreasing.

(Other simple consequences can be found here.)

show/hide this revision's text 2 typesetting

A simple application is the following:

Every sequence of n^2 +1 distinct real numbers contains a subsequence of length n +1 that is either strictly increasing or strictly decreasing.

(Other simple consequences can be found herhere.)

show/hide this revision's text 1 [made Community Wiki]

A simple application is the following:

Every sequence of n^2 +1 distinct real numbers contains a subsequence of length n +1 that is either strictly increasing or strictly decreasing.

(Other simple consequences can be found her)