Monotone subsequence (source code)

= Monotone subsequence
{title2=$a_{n_1}\leq a_{n_2}\leq\cdots\quad\text{or}\quad a_{n_1}\geq a_{n_2}\geq\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>.