Show that $\limsup \{a_n\}$ is the largest cluster point.
Definition: We call an extended real number a cluster point of a sequence $\{a_n\}$ if a subsequence converges to this extended real number.
I'm not sure how to 'unwrap' the definition of a cluster point to prove this.
This was my attempt. Let $l = \limsup \{a_n\}$. Suppose that there is an $x$ such that $x > l$ and it is a cluster point of $l$. If we let $\epsilon>0$, then $x-\epsilon > l$. There exists $n \geq N$ such that $x_n > x-\epsilon$. Let $\tilde{n}=\min\{n \geq N \text{ such that } x_n > x-\epsilon \}$.
I'm not really sure where to go from here.
Best Answer
To see that $\limsup\{a_n\}$ is a cluster point, note that for each $n$ we can find some $a_{k_n}$ with $k_n\geq n$ such that $\sup\{a_n,a_{n+1},\ldots\}<a_{k_n}+1/n$. Thus $\lim\limits_{n\to \infty}a_{k_n}=\limsup\{a_n\}$.
To see that $\limsup\{a_n\}$ is the largest, suppose $x$ is a cluster point of $\{a_n\}$, so we have a subsequence $\{a_{k_n}\}$ such that $\lim\limits_{n\to\infty}a_{k_n}=x$. Thus for each $\epsilon>0$, we have some $N$ such that $n\geq N\implies a_{k_n}>x-\epsilon$. Hence $\limsup\{a_n\}\geq x-\epsilon$ for all $\epsilon>0$, so $\limsup\{a_n\}\geq x$.