Behaviour of ($\overline{a}_n)_{n=1}^{\infty}$ and ($\underline{a}_n)_{n=1}^{\infty}$ I have been trying to understand the following definition and just needed some clarification.
For each bounded sequence $(a_n)_{n=1}^{\infty}$ we define the sequences ($\overline{a}_n)_{n=1}^{\infty}$   and ($\underline{a}_n)_{n=1}^{\infty}$  in the following way:
\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*}
How does this definition imply that $\overline{a}_n$ is decreasing and $\underline{a}_n$ is increasing?
 A: Intuitively, you can think of $\limsup$ as doing surgery on a sequence $(a_{n})$ in this way: we start by taking $\sup$ of $(a_{n})_{n \geq 1}$; then delete $a_{1}$ and take $\sup$ of the remaining sequence, i.e. take $\sup$ of $(a_{n})_{n \geq 2}$; delete $a_{2}$ and take $\sup$ of the remaining sequence, i.e. take $\sup$ of $(a_{n})_{n \geq 3}$; repeat this procedure infinitely many times.
From the above we see that, for every $N \geq 1$, the $N$th operation on $(a_{n})$ gives exactly one number $\sup_{n \geq N}a_{n}$. Clearly, if $N_{1} < N_{2}$, then $(a_{n})_{n \geq N_{1}}$ has more components than $(a_{n})_{n \geq N_{2}}$; hence we have $\sup_{n \geq N_{1}}a_{n} \geq \sup_{n \geq N_{2}}a_{n}$.
Can you figure out how $\liminf$ works now? It works in the same fashion as how $\limsup$ works.
A: Note that 
$$\bar a_2 = \sup\{ a_2, a_3, \cdots \} \le \sup\{ a_1, a_2, a_3, \cdots \} = \bar a_1$$
as the set $\{ a_2, a_3, \cdots \}$ is contained in $\{ a_1, a_2, a_3, \cdots \}$. Similarly we have $\bar a_{n+1} \le \bar a_n$ for all $n$. 
A: If $A\subset B$ then $\sup A\leq \sup B$ and $\inf A\geq \inf B$. For example if $A=\{2,1,1/2,1/4,...\}$ and $B=\{4,2,1,1/2,1/4,...\}$ then $\sup A=2<4=\sup B$.......If $A\subset B$ then any upper bound for $B$ is also an upper bound for $A$.So the least of the upper bounds for $B$ is one of the upper bounds for $A$ but maybe not the least of them.Similarly for lower bounds.
A: Also check out this image from Wikipedia's Limit Superior and Limit Inferior page. I think it may impart some intuition. Note how the top red line (sup) decreases while the bottom (inf) increases.
