Every sequence of [real numbers](/page/Real%20Numbers) has a subsequence that is either nondecreasing or nonincreasing. The proof separates infinitely many peak indices from the complementary case, where a recursively chosen increasing subsequence exists.