This is a question with a few components to it. In each one, I give my attempt at a solution. Thank you in advance for any suggestions/answers/advice on how to solve this problem.
For bounded sequences which do not converge, these are notions which sometimes can substitute for the non-existent limit.
Let $\{a_n\}$ be a bounded sequence. Define $T_n = \{a_i : i \geq n\}$ denote the n-th "tail" of the sequence and let $\overline{b}_n = \sup T_n$ and $\underline{b}_n = \inf T_n$.
a). Prove the sequences $\{\overline{b}_n\}$ and $\{\underline{b}_n\}$ both converge.
Given that $\{a_n\}$ is a bounded sequence and $\overline{b}_n = \sup T_n$ and $\underline{b}_n = \inf T_n$, then we have for the supremum, by defintion, that there exists a least upper bound, call it $\overline{m}$, such that $x \leq \overline{m}$ for all $x \in \{a_n\}$. Similarly, there exists a greatest lower bound $\underline{m}$ such that $x \geq \underline{m}$ for all $x \in \{a_n\}$. This is where I am stuck because I want to say that because $\overline{b}_n$ is given to be our $\sup T_n$, then we have a monotone sequence which converges by the Completeness Property. But is this a safe assumption at this point? This doubt is the same for the latter case, except we change our argument so that it states it using $\underline{b}_n$ as the $\inf T_n$.
b). We now define $\lim \sup a_n = \lim \overline{b}_n$, and $\lim \inf a_n = \lim \underline{b}_n$. Find $\lim \sup$ and $\lim \inf$ for the sequence $a_n = \frac{1}{n} + (-1)^n$.
For this part of the problem, I have an intuitive understanding about the $\lim \sup a_n = 1,$ and the $\lim \inf a_n = -1$, but am not sure how to formally state this.
c). Prove that $\lim \inf a_n \leq \lim \sup a_n$.
Similar to above, intuitively, I believe that this is true since the $\inf a_n$ is the greatest lower bound and that $\sup a_n$ would be the least upper bound. However, I then consider the empty set as a counterexample (is this valid)?
d). Prove that: $\lim a_n$ exists $\iff$ $\lim \inf a_n = \lim \sup a_n$.
As far as this step, I would not know how to get an 'if and only if' proof for $\lim \inf a_n = \lim \sup a_n$. The only thing that I could think of is knowing from previous courses that the limit is unique, and that it must approach the same value from either side.
Again, thank you very much for taking the time to read/answer/post on this rather lengthy question. I am using the textbook Introduction to Analysis by Arthur Mattuck.