Intereting Posts

Describe all solutions of $Ax=0$.
Dulac's criterion and global stability connection
Why is $\sin(d\Phi) = d\Phi$ where $d\Phi$ is very small?
What are the Axiom of Choice and Axiom of Determinacy?
Is $\int_{M_{n}(\mathbb{R})} e^{-A^{2}}d\mu$ a convergent integral?(2)
Do we need Axiom of Choice to make infinite choices from a set?
Why does spectral norm equal the largest singular value?
Finding the norm in the cyclotomic field $\mathbb{Q}(e^{2\pi i / 5})$
Simulating uniformly on $S^1=\{x \in \mathbb{R}^n \mid \|x\|_1=1\}$
Recursive Monotone Decreasing Sequence Proof ${x_{k}} = \frac{1}{2}\left({x_{k-1}+\frac{a}{{x_{k-1}}}}\right)$
How to prove that $a^2b+b^2c+c^2a \leqslant 3$, where $a,b,c >0$, and $a^ab^bc^c=1$
Dividing a square into equal-area rectangles
Least Impossible Subset Sum
$L^2$ norm inequality
Rewriting repeated integer division with multiplication

If a sequence ($a_n$) is monotonically increasing, and ($b_n$) is a decreasing sequence, with $\lim_{n\to\infty}\,(b_n-a_n)=0$, show that $\lim a_n$ and $\lim b_n$ both exist, and that $\lim a_n=\lim b_n$.

**My attempt:**

To show that the limits of both sequences exist, I think I should be using the Monotone Convergence Theorem (MCT). For that I would need to show that the sequences are bounded.

- Primitive of holomorphic Function $\frac{1}{z}$ on an Annulus.
- How to find an irrational number in this case?
- Can I bring the variable of integration inside the integral?
- How to prove that for $n \in \mathbb{N}$ we have $\sum_{k=2}^n \frac{1}{k}\leq \ln(n) \leq \sum_{k=1}^{n-1} \frac{1}{k}$
- Prime powers, patterns similar to $\lbrace 0,1,0,2,0,1,0,3\ldots \rbrace$ and formulas for $\sigma_k(n)$
- If $x_n \to a$ and $x'_n \to a$, then $\{x_1, x'_1, x_2, x'_2, …\} \to a$

($a_n$) is increasing, and so it should be bounded below. ($b_n$) is decreasing, so it should be bounded above. The challenge here is to show that ($a_n$) can be bounded above and ($b_n$) can be bounded below. This should utilise the third condition, from which I get:

$$\begin{align*}

& \lim_{n\to\infty}\,(b_n-a_n)=0 \\[3pt]

\iff & \forall\varepsilon>0,\ \exists N\in \mathbb{N} \text{ s.t. } \forall n\geq N,\ |{b_n-a_n}|<\varepsilon

\end{align*}$$

I then tried using the triangle inequality:

$$ |b_n|-|a_n|\leq|b_n-a_n|<\varepsilon$$

but I’m not sure where to go from here.

- Showing $ \sum_{n=0}^{\infty} \frac{1}{(3n+1)(3n+2)}=\frac{\pi}{3\sqrt{3}}$
- Infinite Series $\sum_{n=1}^\infty\frac{H_n}{n^32^n}$
- Find the norm of the following operator.
- Formal Proof of Exponential rule
- Prove that a set consisting of a sequence and its limit point is closed
- Fundamental Theorem of Calculus for Lebesgue Integral
- Achilles and the tortoise paradox?
- Proof of a theorem of Cauchy's on the convergence of an infinite product
- Riemann sum on infinite interval
- When can you switch the order of limits?

The leftmost part of the inequality $|b_n|-|a_n|\leq|b_n-a_n|<\epsilon$ *isn’t* needed in the proof.

Claim 1$(a_n)$ is bounded above.

ProofLet $\epsilon>0$. From $|b_{n+1}-a_{n+1}|<\epsilon$, $a_{n+1}<b_{n+1}+\epsilon$. Use the monotonicity of $(a_n)$ and $(b_n)$. We have

$$a_1 \le \dots \le a_n\le a_{n+1} < b_{n+1}+\epsilon \le b_n+\epsilon \le \dots \le b_1 + \epsilon.$$

Since the choice of $n$ in the above inequality isarbitrary, we have $a_n < b_1 + \epsilon$ forall$n \in \Bbb N$.

Therefore, $(a_n)$ is bounded above by $b_1 + \epsilon$.

Similarly, we have another claim.

Claim 2$(b_n)$ is bounded below.

Now, recall that $(a_n)$ and $(b_n)$ are increasing and decreasing sequences respectively, and apply MCT to $(a_n)$ and $(b_n)$ to establish the existence of $\lim a_n$ and $\lim b_n$. Finally, use $\lim\limits_{n\to+\infty}(b_n-a_n)=0$ to conclude that $\lim a_n = \lim b_n$.

Sorry for using others’ ideas in my solution. I would like to draw a commutative diagrams in the comments, but the system *forbids* me from posting comments with two or more `@`

characters, so I *can’t* post the following diagram in a comment. Hoping that others can benefit from his answer at the first glance, I draw this diagram for fun.

## A graphical explanation to DonAntonio’s answer

$\require{AMScd}$

\begin{CD}

@. a_n \\

@. @AA \vdots A \\

@. a_{N+1} \\

@. @AA (a_n)\uparrow A \\

@. a_N \\

\text{Suppose }a_N > b_K. \\

b_K @. \\

@V(b_n)\downarrow VV @.\\

b_{K+1} @. \\

@V \vdots VV @.\\

b_n @.

\end{CD}

It’s clear from the diagram that we have to take $n \ge \max\{K,N\}$.

But $\lim\limits_{n\to+\infty}(b_n-a_n)=0$, contradiction.

Hint:

Suppose there exists $\;K\in\Bbb N\;$ such that for some $\;N\in\Bbb N\;,\;\;a_N>b_K\;$ , say $\;a_N-b_K=\epsilon>0\;$ , but then

$$\forall\,n\ge N\,,\,\,\forall\,m\ge K\;,\;\;\begin{cases}a_n\ge a_N>b_K,&\text{since $\,\{a_n\}\,$ is monotone ascending}\\{}\\

b_m\le b_K<a_N,&\text{since $\,\{b_n\}\,$ is monotone descending}\end{cases}$$

and from here we’d get that for any $\;n\ge\max\,\{K,N\}\;$ :

$$a_n\ge a_N>b_K\ge b_n\implies a_n-b_n>\epsilon>0\implies \lim_{n\to\infty}(a_n-b_n)\neq0$$

and the above shows not only both sequence are bounded in the right direction, but also that they both bound each other resp.

You choose an $\varepsilon>0$ and have

$$|(a_n-b_n)|\lt\varepsilon, \forall n> N_0$$

because $\lim (a_n-b_n)=0$. To finish your proof, assume that $\lim a_n=a$ and $\lim b_n=b$. Then you have

$$|a_n-a|<\varepsilon, \;\forall n>N_1$$

and

$$|b_n-b|<\varepsilon, \; \forall n>N_2$$

So select an $n$ such that $n>N_0, n>N_1, n>N_2$ to get

$$|a-b|\le|a-a_n|+|a_n-b_n|+|b_n-b|\lt 3\varepsilon$$

$\varepsilon$ was chosen arbitrary therefore

$$|a-b|=0$$

Since $\lim_{n\to\infty}(b_n-a_n)=0$, there is an $N$ such that $|a_n-b_n|<1$ for all $n\ge N$. ($1$ is a number that I have just chosen for $\varepsilon$.) Since $b_n$ is decreasing, we have $a_n<b_n+1\le b_N+1$ for all $n\ge N$. Therefore $a$ is bounded from above, indeed by $\max\left\{a_0,a_1,\dots,a_{N-1},b_N+1\right\}$.

Therefore $a$ converges. Since $b_n = a_n + (b_n-a_n)$ and both $a$ and $b-a$ converge, $b$ also converges.

- Compound interest formula with regular deposits, solve for time
- Reference request: an analytical proof the Hilbert space filling curve is nowhere differentiable
- Continuity $\Rightarrow$ Intermediate Value Property. Why is the opposite not true?
- A question about a weak form of Hilbert's Nullstellensatz
- What are the convergent sequences in the cofinite topology
- Tricky proof that the weighted average is a better estimate than the un-weighted average:
- If |f| is Riemann integrable, then f is Riemann integrable???
- Positive outer measure set and nonmeasurable subset
- prove if n – natural number divide number $34x^2-42xy+13y^2$ then n is sum of two square number
- How do I prove that $\arccos(x) + \arccos(-x)=\pi$ when $x \in $?
- Practical applications of first order exact ODE?
- Parametric Equations for a Hypercone
- How does $\cos x=\frac12(e^{ix}+e^{-ix})$?
- A polynomial whose Galois group is $D_8$
- Solve Burgers' Equation with side condition.