Let $a_n = \exp(-\cos(n))$. I need to find $\limsup_{n \to \infty}(a_n)$ and $\liminf_{n \to \infty}(a_n)$.
By applying the definition of $\limsup$ I got that: $$\limsup_{n \to \infty}(a_n) = \lim_{n \to \infty}(\sup_{n\ge m}(a_n)),$$ which should intuitively be $e$, and similarly the $\liminf$ should be $\frac{1}{e}$. How should we prove these statements?