Section 2.3 Limit superior, limit inferior, and Bolzano–Weierstrass
Note: 1–2 lectures, alternative proof of BW optional
In this section we study bounded sequences and their subsequences. In particular, we define the socalled limit superior and limit inferior of a bounded sequence and talk about limits of subsequences. Furthermore, we prove the Bolzano–Weierstrass theorem^{ 1 }, an indispensable tool in analysis, showing the existence of convergent subsequences.
We have seen that every convergent sequence is bounded, although there exist many bounded divergent sequences. For example, the sequence \(\{ {(1)}^n \}\) is bounded, but divergent. All is not lost, however, and we can still compute certain limits with a bounded divergent sequence.
Subsection 2.3.1 Upper and lower limits
There are ways of creating monotone sequences out of any sequence, and in this fashion we get the socalled limit superior and limit inferior. These limits always exist for bounded sequences.
If a sequence \(\{ x_n \}\) is bounded, then the set \(\{ x_k : k \in \N \}\) is bounded. For every \(n\text{,}\) the set \(\{ x_k : k \geq n \}\) is also bounded (as it is a subset), so we take its supremum and infimum.
Definition 2.3.1.
Let \(\{ x_n \}\) be a bounded sequence. Define the sequences \(\{ a_n \}\) and \(\{ b_n \}\) by \(a_n := \sup \{ x_k : k \geq n \}\) and \(b_n := \inf \{ x_k : k \geq n \}\text{.}\) Define, if the limits exist,
For a bounded sequence, liminf and limsup always exist (see below). It is possible to define liminf and limsup for unbounded sequences if we allow \(\infty\) and \(\infty\text{,}\) and we do so later in this section. It is not hard to generalize the following results to include unbounded sequences; however, we first restrict our attention to bounded ones.
Proposition 2.3.2.
Let \(\{ x_n \}\) be a bounded sequence. Let \(a_n\) and \(b_n\) be as in the definition above.
The sequence \(\{ a_n \}\) is bounded monotone decreasing and \(\{ b_n \}\) is bounded monotone increasing. In particular, \(\liminf x_n\) and \(\limsup x_n\) exist.
\(\displaystyle \limsup_{n \to \infty} \, x_n = \inf \{ a_n : n \in \N \}\) and \(\displaystyle \liminf_{n \to \infty} \, x_n = \sup \{ b_n : n \in \N \}\text{.}\)
\(\displaystyle \liminf_{n \to \infty} \, x_n \leq \limsup_{n \to \infty} \, x_n\text{.}\)
Proof.
Let us see why \(\{ a_n \}\) is a decreasing sequence. As \(a_n\) is the least upper bound for \(\{ x_k : k \geq n \}\text{,}\) it is also an upper bound for the subset \(\{ x_k : k \geq (n+1) \}\text{.}\) Therefore \(a_{n+1}\text{,}\) the least upper bound for \(\{ x_k : k \geq (n+1) \}\text{,}\) has to be less than or equal to \(a_n\text{,}\) the least upper bound for \(\{ x_k : k \geq n) \}\text{.}\) That is, \(a_n \geq a_{n+1}\) for all \(n\text{.}\) Similarly (an exercise), \(\{ b_n \}\) is an increasing sequence. It is left as an exercise to show that if \(\{ x_n \}\) is bounded, then \(\{ a_n \}\) and \(\{ b_n \}\) must be bounded.
The second item follows as the sequences \(\{ a_n \}\) and \(\{ b_n \}\) are monotone and bounded.
For the third item, note that \(b_n \leq a_n\text{,}\) as the \(\inf\) of a nonempty set is less than or equal to its \(\sup\text{.}\) The sequences \(\{ a_n \}\) and \(\{ b_n \}\) converge to the limsup and the liminf respectively. Apply Lemma 2.2.3 to obtain
Example 2.3.3.
Let \(\{ x_n \}\) be defined by
Let us compute the \(\liminf\) and \(\limsup\) of this sequence. See also Figure 2.6. First the limit inferior:
For the limit superior, we write
It is not hard to see that
We leave it to the reader to show that the limit is 1. That is,
Do note that the sequence \(\{ x_n \}\) is not a convergent sequence.
We associate certain subsequences with \(\limsup\) and \(\liminf\text{.}\) It is important to notice that \(\{ a_n \}\) and \(\{ b_n \}\) are not necessarily subsequences of \(\{ x_n \}\text{,}\) nor do they have to even consist of the same numbers. For example, for the sequence \(\{ \nicefrac{1}{n} \}\text{,}\) \(b_n = 0\) for all \(n \in N\text{.}\)
Theorem 2.3.4.
If \(\{ x_n \}\) is a bounded sequence, then there exists a subsequence \(\{ x_{n_k} \}\) such that
Similarly, there exists a (perhaps different) subsequence \(\{ x_{m_k} \}\) such that
Proof.
Define \(a_n := \sup \{ x_k : k \geq n \}\text{.}\) Write \(x := \limsup \, x_n = \lim\, a_n\text{.}\) We define the subsequence inductively. Let \(n_1 := 1\) and suppose we have defined the subsequence until \(n_k\) for some \(k\text{.}\) Pick some \(m > n_k\) such that
We can do this as \(a_{(n_k+1)}\) is a supremum of the set \(\{ x_n : n \geq n_k + 1 \}\) and hence there are elements of the sequence arbitrarily close (or even possibly equal) to the supremum. Set \(n_{k+1} := m\text{.}\) The subsequence \(\{ x_{n_k} \}\) is defined. Next we need to prove that it converges and has the right limit.
For all \(k \geq 2\text{,}\) we have \(a_{(n_{k1}+1)} \geq a_{n_k}\) (why?) and \(a_{n_{k}} \geq x_{n_k}\text{.}\) Therefore, for every \(k \geq 2\text{,}\)
Let us show that \(\{ x_{n_k} \}\) converges to \(x\text{.}\) Note that the subsequence need not be monotone. Let \(\epsilon > 0\) be given. As \(\{ a_n \}\) converges to \(x\text{,}\) the subsequence \(\{ a_{n_k} \}\) converges to \(x\text{.}\) Thus there exists an \(M_1 \in \N\) such that for all \(k \geq M_1\text{,}\) we have
Find an \(M_2 \in \N\) such that
Take \(M := \max \{M_1 , M_2 , 2 \}\) and compute. For all \(k \geq M\text{,}\) we have
We leave the statement for \(\liminf\) as an exercise.
Subsection 2.3.2 Using limit inferior and limit superior
The advantage of \(\liminf\) and \(\limsup\) is that we can always write them down for any (bounded) sequence. If we could somehow compute them, we could also compute the limit of the sequence if it exists, or show that the sequence diverges. Working with \(\liminf\) and \(\limsup\) is a little bit like working with limits, although there are subtle differences.
Proposition 2.3.5.
Let \(\{ x_n \}\) be a bounded sequence. Then \(\{ x_n \}\) converges if and only if
Furthermore, if \(\{ x_n \}\) converges, then
Proof.
Let \(a_n\) and \(b_n\) be as in Definition 2.3.1. In particular, for all \(n \in \N\text{,}\)
If \(\liminf \, x_n = \limsup \, x_n\text{,}\) then we know that \(\{ a_n \}\) and \(\{ b_n \}\) both converge to the same limit. By the squeeze lemma (Lemma 2.2.1), \(\{ x_n \}\) converges and
Now suppose \(\{ x_n \}\) converges to \(x\text{.}\) By Theorem 2.3.4, there exists a subsequence \(\{ x_{n_k} \}\) that converges to \(\limsup \, x_n\text{.}\) As \(\{ x_n \}\) converges to \(x\text{,}\) every subsequence converges to \(x\) and therefore \(\limsup \, x_n = \lim\, x_{n_k} = x\text{.}\) Similarly, \(\liminf \, x_n = x\text{.}\)
Limit superior and limit inferior behave nicely with subsequences.
Proposition 2.3.6.
Suppose \(\{ x_n \}\) is a bounded sequence and \(\{ x_{n_k} \}\) is a subsequence. Then
Proof.
The middle inequality has been proved already. We will prove the third inequality, and leave the first inequality as an exercise.
We want to prove that \(\limsup \, x_{n_k} \leq \limsup \, x_n\text{.}\) Define \(a_j := \sup \{ x_k : k \geq j \}\) as usual. Also define \(c_j := \sup \{ x_{n_k} : k \geq j \}\text{.}\) It is not true that \(\{ c_j \}\) is necessarily a subsequence of \(\{ a_j \}\text{.}\) However, as \(n_k \geq k\) for all \(k\text{,}\) we have that \(\{ x_{n_k} : k \geq j \} \subset \{ x_k : k \geq j \}\text{.}\) A supremum of a subset is less than or equal to the supremum of the set and therefore
Lemma 2.2.3 gives
which is the desired conclusion.
Limit superior and limit inferior are the largest and smallest subsequential limits. If the subsequence \(\{ x_{n_k} \}\) in the previous proposition is convergent, then \(\liminf \, x_{n_k} = \lim\, x_{n_k} = \limsup \, x_{n_k}\text{.}\) Therefore,
Similarly, we get the following useful test for convergence of a bounded sequence. We leave the proof as an exercise.
Proposition 2.3.7.
A bounded sequence \(\{ x_n \}\) is convergent and converges to \(x\) if and only if every convergent subsequence \(\{ x_{n_k} \}\) converges to \(x\text{.}\)
Subsection 2.3.3 Bolzano–Weierstrass theorem
While it is not true that a bounded sequence is convergent, the Bolzano–Weierstrass theorem tells us that we can at least find a convergent subsequence. The version of Bolzano–Weierstrass that we present in this section is the Bolzano–Weierstrass for sequences of real numbers.
Theorem 2.3.8. Bolzano–Weierstrass.
Suppose a sequence \(\{ x_n \}\) of real numbers is bounded. Then there exists a convergent subsequence \(\{ x_{n_i} \}\text{.}\)
Proof.
We use Theorem 2.3.4. It says that there exists a subsequence whose limit is \(\limsup \, x_n\text{.}\)
The reader might complain right now that Theorem 2.3.4 is strictly stronger than the Bolzano–Weierstrass theorem as presented above. That is true. However, Theorem 2.3.4 only applies to the real line, but Bolzano–Weierstrass applies in more general contexts (that is, in \(\R^n\)) with pretty much the exact same statement.
As the theorem is so important to analysis, we present an explicit proof. The idea of the following proof also generalizes to different contexts.
Proof.
(Alternate proof of Bolzano–Weierstrass) As the sequence is bounded, then there exist two numbers \(a_1 < b_1\) such that \(a_1 \leq x_n \leq b_1\) for all \(n \in \N\text{.}\) We will define a subsequence \(\{ x_{n_i} \}\) and two sequences \(\{ a_i \}\) and \(\{ b_i \}\text{,}\) such that \(\{ a_i \}\) is monotone increasing, \(\{ b_i \}\) is monotone decreasing, \(a_i \leq x_{n_i} \leq b_i\) and such that \(\lim\, a_i = \lim\, b_i\text{.}\) That \(x_{n_i}\) converges then follows by the squeeze lemma.
We define the sequences inductively. We will always have that \(a_i < b_i\text{,}\) and that \(x_n \in [a_i,b_i]\) for infinitely many \(n \in \N\text{.}\) We have already defined \(a_1\) and \(b_1\text{.}\) We take \(n_1 := 1\text{,}\) that is \(x_{n_1} = x_1\text{.}\) Suppose that up to some \(k \in \N\text{,}\) we have defined the subsequence \(x_{n_1}, x_{n_2}, \ldots, x_{n_k}\text{,}\) and the sequences \(a_1,a_2,\ldots,a_k\) and \(b_1,b_2,\ldots,b_k\text{.}\) Let \(y := \frac{a_k+b_k}{2}\text{.}\) Clearly \(a_k < y < b_k\text{.}\) If there exist infinitely many \(j \in \N\) such that \(x_j \in [a_k,y]\text{,}\) then set \(a_{k+1} := a_k\text{,}\) \(b_{k+1} := y\text{,}\) and pick \(n_{k+1} > n_{k}\) such that \(x_{n_{k+1}} \in [a_k,y]\text{.}\) If there are not infinitely many \(j\) such that \(x_j \in [a_k,y]\text{,}\) then it must be true that there are infinitely many \(j \in \N\) such that \(x_j \in [y,b_k]\text{.}\) In this case pick \(a_{k+1} := y\text{,}\) \(b_{k+1} := b_k\text{,}\) and pick \(n_{k+1} > n_{k}\) such that \(x_{n_{k+1}} \in [y,b_k]\text{.}\)
We now have the sequences defined. What is left to prove is that \(\lim\, a_i = \lim\, b_i\text{.}\) The limits exist as the sequences are monotone. In the construction, \(b_i  a_i\) is cut in half in each step. Therefore, \(b_{i+1}  a_{i+1} = \frac{b_ia_i}{2}\text{.}\) By induction,
Let \(x := \lim\, a_i\text{.}\) As \(\{ a_i \}\) is monotone,
Let \(y := \lim\, b_i = \inf \{ b_i : i \in \N \}\text{.}\) Since \(a_i < b_i\) for all \(i\text{,}\) then \(x \leq y\text{.}\) As the sequences are monotone, then for all \(i\text{,}\) we have (why?)
Because \(\frac{b_1a_1}{2^{i1}}\) is arbitrarily small and \(yx \geq 0\text{,}\) we have \(yx = 0\text{.}\) Finish by the squeeze lemma.
Yet another proof of the Bolzano–Weierstrass theorem is to show the following claim, which is left as a challenging exercise. Claim: Every sequence has a monotone subsequence.
Subsection 2.3.4 Infinite limits
Just as for infima and suprema, it is possible to allow certain limits to be infinite. That is, we write \(\lim \, x_n = \infty\) or \(\lim \, x_n = \infty\) for certain divergent sequences.
Definition 2.3.9.
We say \(\{ x_n \}\) diverges to infinity^{ 4 } if for every \(K \in \R\text{,}\) there exists an \(M \in \N\) such that for all \(n \geq M\text{,}\) we have \(x_n > K\text{.}\) In this case we write
Similarly, if for every \(K \in \R\) there exists an \(M \in \N\) such that for all \(n \geq M\text{,}\) we have \(x_n < K\text{,}\) we say \(\{ x_n \}\) diverges to minus infinity and we write
With this definition and allowing \(\infty\) and \(\infty\text{,}\) we can write \(\lim \, x_n\) for any monotone sequence.
Proposition 2.3.10.
Suppose \(\{ x_n \}\) is a monotone unbounded sequence. Then
Proof.
The case of monotone increasing follows from Exercise 2.3.14 part c) below. Let us do monotone decreasing. Suppose \(\{x_n\}\) is decreasing and unbounded, that is, for every \(K \in \R\text{,}\) there is an \(M \in \N\) such that \(x_M < K\text{.}\) By monotonicity \(x_n \leq x_M < K\) for all \(n \geq M\text{.}\) Therefore, \(\lim \, x_n = \infty\text{.}\)
Example 2.3.11.
We leave verification to the reader.
We may also allow \(\liminf\) and \(\limsup\) to take on the values \(\infty\) and \(\infty\text{,}\) so that we can apply \(\liminf\) and \(\limsup\) to absolutely any sequence, not just a bounded one. Unfortunately, the sequences \(\{ a_n \}\) and \(\{ b_n \}\) are not sequences of real numbers but of extended real numbers. In particular, \(a_n\) can equal \(\infty\) for some \(n\text{,}\) and \(b_n\) can equal \(\infty\text{.}\) So we have no definition for the limits. But since the extended real numbers are still an ordered set, we can take suprema and infima.
Definition 2.3.12.
Let \(\{ x_n \}\) be an unbounded sequence of real numbers. Define sequences of extended real numbers by \(a_n := \sup \{ x_k : k \geq n \}\) and \(b_n := \inf \{ x_k : k \geq n \}\text{.}\) Define
This definition agrees with the definition for bounded sequences whenever \(\lim a_n\) or \(\lim b_n\) makes sense including possibly \(\infty\) and \(\infty\text{.}\)
Proposition 2.3.13.
Let \(\{ x_n \}\) be an unbounded sequence. Define \(\{ a_n \}\) and \(\{ b_n \}\) as above. Then \(\{ a_n \}\) is decreasing, and \(\{ b_n \}\) is increasing. If \(a_n\) is a real number for every \(n\text{,}\) then \(\limsup \, x_n = \lim \, a_n\text{.}\) If \(b_n\) is a real number for every \(n\text{,}\) then \(\liminf \, x_n = \lim \, b_n\text{.}\)
Proof.
As before, \(a_n = \sup \{ x_k : k \geq n \} \geq \sup \{ x_k : k \geq n+1 \} = a_{n+1}\text{.}\) So \(\{ a_n \}\) is decreasing. Similarly, \(\{ b_n \}\) is increasing.
If the sequence \(\{ a_n \}\) is a sequence of real numbers, then \(\lim a_n = \inf \{ a_n : n \in \N \}\text{.}\) This follows from Proposition 2.1.10 if \(\{ a_n \}\) is bounded and Proposition 2.3.10 if \(\{a_n \}\) is unbounded. We proceed similarly with \(\{ b_n \}\text{.}\)
The definition behaves as expected with \(\limsup\) and \(\liminf\text{,}\) see exercises 2.3.13 and 2.3.14.
Example 2.3.14.
Suppose \(x_n := 0\) for odd \(n\) and \(x_n := n\) for even \(n\text{.}\) Then \(a_n = \infty\) for all \(n\text{,}\) since for every \(M\text{,}\) there exists an even \(k\) such that \(x_k = k \geq M\text{.}\) On the other hand, \(b_n = 0\) for all \(n\text{,}\) as for every \(n\text{,}\) the set \(\{ b_k : k \geq n \}\) consists of \(0\) and nonnegative numbers. So,
Subsection 2.3.5 Exercises
Exercise 2.3.1.
Suppose \(\{ x_n \}\) is a bounded sequence. Define \(a_n\) and \(b_n\) as in Definition 2.3.1. Show that \(\{ a_n \}\) and \(\{ b_n \}\) are bounded.
Exercise 2.3.2.
Suppose \(\{ x_n \}\) is a bounded sequence. Define \(b_n\) as in Definition 2.3.1. Show that \(\{ b_n \}\) is an increasing sequence.
Exercise 2.3.3.
Finish the proof of Proposition 2.3.6. That is, suppose \(\{ x_n \}\) is a bounded sequence and \(\{ x_{n_k} \}\) is a subsequence. Prove \(\displaystyle \liminf_{n\to\infty}\, x_n \leq \liminf_{k\to\infty}\, x_{n_k}\text{.}\)
Exercise 2.3.4.
Prove Proposition 2.3.7.
Exercise 2.3.5.
Let \(x_n := \dfrac{{(1)}^n}{n}\text{.}\) Find \(\limsup \, x_n\) and \(\liminf \, x_n\text{.}\)
Let \(x_n := \dfrac{(n1){(1)}^n}{n}\text{.}\) Find \(\limsup \, x_n\) and \(\liminf \, x_n\text{.}\)
Exercise 2.3.6.
Let \(\{ x_n \}\) and \(\{ y_n \}\) be bounded sequences such that \(x_n \leq y_n\) for all \(n\text{.}\) Then show that
and
Exercise 2.3.7.
Let \(\{ x_n \}\) and \(\{ y_n \}\) be bounded sequences.
Show that \(\{ x_n + y_n \}\) is bounded.

Show that
\begin{equation*} (\liminf_{n\to \infty}\, x_n) + (\liminf_{n\to \infty}\, y_n) \leq \liminf_{n\to \infty}\, (x_n+y_n) . \end{equation*}Hint: Find a subsequence \(\{ x_{n_i}+y_{n_i} \}\) of \(\{ x_n + y_n \}\) that converges. Then find a subsequence \(\{ x_{n_{m_i}} \}\) of \(\{ x_{n_i} \}\) that converges. Then apply what you know about limits.

Find an explicit \(\{ x_n \}\) and \(\{ y_n \}\) such that
\begin{equation*} (\liminf_{n\to \infty}\, x_n) + (\liminf_{n\to \infty}\, y_n) < \liminf_{n\to \infty}\, (x_n+y_n) . \end{equation*}Hint: Look for examples that do not have a limit.
Exercise 2.3.8.
Let \(\{ x_n \}\) and \(\{ y_n \}\) be bounded sequences (from the previous exercise we know that \(\{ x_n + y_n \}\) is bounded).

Show that
\begin{equation*} (\limsup_{n\to \infty}\, x_n) + (\limsup_{n\to \infty}\, y_n) \geq \limsup_{n\to \infty}\, (x_n+y_n) . \end{equation*}Hint: See previous exercise.

Find an explicit \(\{ x_n \}\) and \(\{ y_n \}\) such that
\begin{equation*} (\limsup_{n\to \infty}\, x_n) + (\limsup_{n\to \infty}\, y_n) > \limsup_{n\to \infty}\, (x_n+y_n) . \end{equation*}Hint: See previous exercise.
Exercise 2.3.9.
If \(S \subset \R\) is a set, then \(x \in \R\) is a cluster point if for every \(\epsilon > 0\text{,}\) the set \((x\epsilon,x+\epsilon) \cap S \setminus \{ x \}\) is not empty. That is, if there are points of \(S\) arbitrarily close to \(x\text{.}\) For example, \(S := \{ \nicefrac{1}{n} : n \in \N \}\) has a unique (only one) cluster point \(0\text{,}\) but \(0 \notin S\text{.}\) Prove the following version of the Bolzano–Weierstrass theorem:
Theorem. Let \(S \subset \R\) be a bounded infinite set, then there exists at least one cluster point of \(S\).
Hint: If \(S\) is infinite, then \(S\) contains a countably infinite subset. That is, there is a sequence \(\{ x_n \}\) of distinct numbers in \(S\text{.}\)
Exercise 2.3.10.
(Challenging)
Prove that every sequence contains a monotone subsequence. Hint: Call \(n \in \N\) a peak if \(a_m \leq a_n\) for all \(m \geq n\text{.}\) There are two possibilities: Either the sequence has at most finitely many peaks, or it has infinitely many peaks.
Conclude the Bolzano–Weierstrass theorem.
Exercise 2.3.11.
Prove a stronger version of Proposition 2.3.7. Suppose \(\{ x_n \}\) is a sequence such that every subsequence \(\{ x_{n_i} \}\) has a subsequence \(\{ x_{n_{m_i}} \}\) that converges to \(x\text{.}\)
First show that \(\{ x_n \}\) is bounded.
Now show that \(\{ x_n \}\) converges to \(x\text{.}\)
Exercise 2.3.12.
Let \(\{x_n\}\) be a bounded sequence.
Prove that there exists an \(s\) such that for every \(r > s\text{,}\) there exists an \(M \in \N\) such that for all \(n \geq M\text{,}\) we have \(x_n < r\text{.}\)
If \(s\) is a number as in a), then prove \(\limsup \, x_n \leq s\text{.}\)
Show that if \(S\) is the set of all \(s\) as in a), then \(\limsup \, x_n = \inf \, S\text{.}\)
Exercise 2.3.13.
(Easy) Suppose \(\{ x_n \}\) is such that \(\liminf \, x_n = \infty\text{,}\) \(\limsup \, x_n = \infty\text{.}\)
Show that \(\{ x_n \}\) is not convergent, and also that neither \(\lim \, x_n = \infty\) nor \(\lim \, x_n = \infty\) is true.
Find an example of such a sequence.
Exercise 2.3.14.
Let \(\{ x_n \}\) be a sequence.
Show that \(\lim \, x_n = \infty\) if and only if \(\liminf \, x_n = \infty\text{.}\)
Then show that \(\lim \, x_n =  \infty\) if and only if \(\limsup \, x_n = \infty\text{.}\)
If \(\{ x_n \}\) is monotone increasing, show that either \(\lim \, x_n\) exists and is finite or \(\lim \, x_n = \infty\text{.}\) In either case, \(\lim \, x_n = \sup \{ x_n : n \in \N \}\text{.}\)
Exercise 2.3.15.
Prove the following stronger version of Lemma 2.2.12, the ratio test. Suppose \(\{ x_n \}\) is a sequence such that \(x_n \not= 0\) for all \(n\text{.}\)

Prove that if
\begin{equation*} \limsup_{n \to \infty} \frac{\abs{x_{n+1}}}{\abs{x_n}} < 1 , \end{equation*}then \(\{ x_n \}\) converges to \(0\text{.}\)

Prove that if
\begin{equation*} \liminf_{n \to \infty} \frac{\abs{x_{n+1}}}{\abs{x_n}} > 1 , \end{equation*}then \(\{ x_n \}\) is unbounded.
Exercise 2.3.16.
Suppose \(\{ x_n \}\) is a bounded sequence, \(a_n := \sup \{ x_k : k \geq n \}\) as before. Suppose that for some \(\ell \in \N\text{,}\) \(a_\ell \notin \{ x_k : k \geq \ell \}\text{.}\) Then show that \(a_j = a_\ell\) for all \(j \geq \ell\text{,}\) and hence \(\limsup\, x_n = a_\ell\text{.}\)
Exercise 2.3.17.
Suppose \(\{ x_n \}\) is a sequence, and \(a_n := \sup \{ x_k : k \geq n \}\) and \(b_n := \sup \{ x_k : k \geq n \}\) as before.
Prove that if \(a_\ell = \infty\) for some \(\ell \in \N\text{,}\) then \(\limsup\, x_n = \infty\text{.}\)
Prove that if \(b_\ell = \infty\) for some \(\ell \in \N\text{,}\) then \(\liminf\, x_n = \infty\text{.}\)
Exercise 2.3.18.
Suppose \(\{ x_n \}\) is a sequence such that both \(\liminf\, x_n\) and \(\limsup\, x_n\) are finite. Prove that \(\{ x_n \}\) is bounded.
Exercise 2.3.19.
Suppose \(\{ x_n \}\) is a bounded sequence, and \(\epsilon > 0\) is given. Prove that there exists an \(M\) such that for all \(k \geq M\text{,}\)
Exercise 2.3.20.
Extend Theorem 2.3.4 to unbounded sequences: Suppose that \(\{ x_n \}\) is a sequence. If \(\limsup\, x_n = \infty\text{,}\) then prove that there exists a subsequence \(\{ x_{n_i} \}\) converging to \(\infty\text{.}\) Then prove the same result for \(\infty\text{,}\) and then prove both statements for \(\liminf\text{.}\)
https://en.wikipedia.org/wiki/Bernard_Bolzano
https://en.wikipedia.org/wiki/Karl_Weierstrass