Monotone subsequence ($a_{n_1}\le a_{n_2}\le \cdots \text{or}{a}_{n_1}\ge a_{n_2}\ge \cdots$)

A monotone subsequence is a subsequence which is a monotone sequence. The indices always increase strictly, but equal selected values are permitted. The monotone subsequence theorem guarantees one for every sequence of real numbers.