Question: Let ($a_n$) and ($b_n$) be two nondecreasing sequences with the property that, for each positive integer $n$, there are integers $p$ and $q$ such that $a_n \leq b_p$ and $b_n \leq a_q$. Show that ($a_n$) and ($b_n$) either both converge or both diverge to $\infty$ and that, moreover, if they both converge they have the same limit.
Given: ($a_n$) and ($b_n$) are non-decreasing, and $a_n \leq b_p$ and $b_n \leq a_q$
My proof is like:
Suppose ($a_n$) is convergent, then for every $\epsilon$ greater than $0$, we have $|an - L| < ε$ , then the limit for ($a_n$) is $L$.
we know that $a_n ≤ bp$ and $bn ≤ aq$, so $a_n - b_p ≤ 0$ and $b_n-a_q ≤ 0$
Let $|a_n-b_p|= ε/2$ $|b_p-a_m| = ε /2$
$|a_n - a_m| = |a_n - b_p + b_p -a_m| ≤ |a_n-b_p|+|b_p-a_m| < ε$
So an is a cauchy sequence
Then I want to prove bn is a Cauchy sequence because there is a theorem says that the sequence converges if and only if the sequence is cauchy.
Let $ε > 0$ and let $|b_n-a_q|> ε/2$ & $|a_q-b-m| > ε/2$
$|b_n - b_m| = |b_n-a_q + a_q-b_m| ≤ |b_n-a_q|+|a_q-b_m| ≤ ε$
So that ($b_n$) is a Cauchy sequence, and ($b_n$) converges. Since it converges, it has a limit, and according to the definition of limit, we have $|b_n - L| < ε$ So the limit of ($b_n$) is also $L$.
I conclude that an and bn both converge and both of them converge to the same limit.
I don't konw if it is helpful to use Cauchy to prove this question, I talk to the TA of this course and he suggests me to use Cauchy to solve. Maybe I misunderstand his hint, any help will be super appreciated:)
Thanks a lot!