He estado tratando de entender la siguiente definición y sólo necesitaba un poco de aclaración.
Para cada secuencia delimitada $(a_n)_{n=1}^{\infty}$ definimos las secuencias de ($\overline{a}_n)_{n=1}^{\infty}$ e ( $\underline{a}_n)_{n=1}^{\infty}$ , de la siguiente manera:
\begin{eqnarray*} \overline{a}_n&=& \sup\left\{a_n,a_{n+1},\dots \right\},\\ \underline{a}_n&=&\inf\left\{a_n,a_{n+1},\dots\right\}. \end{eqnarray*}
¿Cómo esta definición implica que el $\overline{a}_n$ es decreciente y $\underline{a}_n$ es el aumento?