Tutorial-04
Tutorial-04
Tutorial IV
Unbounded sequences
We need to prove that, given R > 0, there exists N ∈ N such that, for all n ⩾ N ,
an + bn > R.
Assume R > 0 is given. Since (bn )∞ n=0 is bounded from below, there exists M ∈ R
such that, for all n ∈ N, we have bn > M . Since (an )∞ n=0 tends to +∞ as n tends
to infinity, there exists N ∈ N such that, for all n ⩾ N , we have an > R − M .
Exercise 2. Find counterexamples to the following statements which have been found
in works submitted by students:
(iii) “Since the sequence is increasing and bounded from above by 1, it converges to 1”.
The sequence ( 12 − n1 )∞
n=1 is increasing, bounded by 1, but does not converge to 1 (it
converges to 1/2).
1
The sequence (un )∞n=0 defined by u2n := n and u2n+1 := 0, for all n ∈ N, is not
bounded but it does not tend to +∞.
Adjacent sequences
1 1 1 1
un := + + ... + 2 and vn := un + ,
12 22 n n
for all n ⩾ 1. Prove that (un )∞ ∞
n=1 and (vn )n=1 are adjacent sequences. Conclude.
Since
1
un+1 = un + > un ,
(n + 1)2
the sequence (un )∞
n=1 is increasing. Moreover,
1
vn − un = ,
n
and hence the sequence (vn − un )∞n=1 converges to 0. It remains to prove that the
sequence (vn )∞
n=1 is decreasing. To this aim, let us compute
1 1
vn+1 − vn = un+1 + − un −
n+1 n
1 1 1
= 2
+ −
(n + 1) n+1 n
1
= −
n (n + 1)2
< 0,
2
We claim that the two sequences (xn )∞ ∞
n=2 and (yn )n=2 are adjacent.
(ii) Prove that e is not a rational number. Hint: Argue by contradiction and use the
previous question.
3
Exercise 5. (Difficult) We define the sequence (un )∞
n=1 by
s
…
√
q »
un := 1 + 2 + 3 + 4 + . . . + n − 1 + n,
4
(ii) Prove that the sequences (un )∞ ∞
n=1 and (vn )n=1 converge to the same limit.
Clearly
un ⩽ vn ,
for all n ⩾ 1 and lim (vn − un ) = 0 thanks to the previous question. Moreover,
n→+∞
since
√ » √
n< n+ n + 1,
for all n ⩾ 1, we conclude that the sequence (un )∞
n=1 is (strictly) increasing. Finally,
observe that q » √
n + 2(n + 1) < 2n,
for all n ⩾ 3 and using this, we conclude that vn+1 < vn . Therefore, the sequence
(vn )∞
n=3 is strictly decreasing. Using the previous question, we conclude that the se-
quences (un )∞ ∞
n=3 and (vn )n=3 are adjacent and hence they both converge to the same
limit.
Subsequences
Exercise 6. Assume that (an )∞ n=0 is a real-valued sequence which is not bounded from
above. Prove that it has a subsequence which tends to +∞ as n tends to infinity.
Since (an )∞
n=0 is not bounded from above, given M > 0, there exists n > N such
that
an ⩾ M.
This proof of
this exercise is
Now, given R > 0 and N ∈ N, we set interesting since
it explains how,
using some induc-
M := max (R, a0 , . . . , aN ) , tion argument,
one can extract
and thanks to the above, we get the existence of n ∈ N such that a subsequence
satisfying some
specific property.
an ⩾ M.
In particular, an ⩾ R and n > N since an > a0 , an > a1 , . . . , an > aN . Therefore,
the following statement holds:
Given R > 0 and N ∈ N, there exists n > N such that aN ⩾ R.
Taking R = 0 and N = 0, we get the existence of n0 ∈ N such that an0 ⩾ 0. Taking
R = 1 and N = n0 , we get the existence of n1 > n0 such that an1 ⩾ 1.
We now argue by induction and assume that we have constructed n0 < n1 < . . . < nk
such that ani ⩾ i, for all i = 0, . . . , k. Taking R = k + 1 and N = nk , we get the
existence of nk+1 > nk such that ank+1 ⩾ k.
We define
φ(k) := nk .
By construction φ : N → N is strictly increasing and aφ(k) ⩾ k. Therefore,
(aφ(n) )∞ ∞
n=0 is a subsequence of the sequence (an )n=0 which tends to +∞ as n tends
to infinity.
5
Exercise 7. What can be said about a monotone real-valued sequence which has a con-
vergent subsequence?
Let us prove that a monotone sequence which has a convergent subsequence, con-
verges.
Exercise 8. (Difficult) The aim of this exercise is to prove that, any real-valued sequence
has a monotone subsequence. Let (an )∞ n=0 be a real-valued sequence. We define
We define N := max E. For all m > N , m ∈ / E and hence there exists n > m such
that an ⩾ an . Using this and an argument by induction, one can build ψ : N → N
strictly increasing, such that
aψ(n) ⩽ aψ(n+1) ,
for all n ∈ N. Indeed, define ψ(0) := N + 1 and, assuming that ψ(k) has already
been defined, we use the fact that ψ(k) ∈
/ E to get the existence of n > ψ(k) such that
un ⩾ uψ(k) . Then we define ψ(k + 1) := n.
The sequence (aψ(n) )∞
n=0 is increasing.
6
Exercise 9. Let (an )∞
n=0 be a real-valued sequence.