Givens:

\[\begin{align*} \alpha &= \lim \sup a_n = \sup \{ \lim_{n \to \infty} (a_{n_k}) \in a_n \} \\ &= \forall \epsilon > 0, \exists N \in \mathbb N, \end{align*}\]