Summer Research Fellowship Programme of India's Science Academies
Infinite series - theory and applications
Hrushikesh Vinod Pawar
Second Year Bachelor of Science, Fergusson College, Pune411004
ProfessorR. Thangadurai
Associate Professor, Department of Mathematics, Harish-Chandra Research Institute, Prayagraj (Allahabad)211002
Abstract
The Series ∑∞n=1(1n)∑∞n=1(1n)n=1∑∞(n1) and ∑∞n=1log(n+1n)∑∞n=1log(n+1n)n=1∑∞log(nn+1) both are divergent. But if we subtract second series from first we get ∑∞n=1[1n−log(n+1n)]∑∞n=1[1n−log(n+1n)]n=1∑∞[n1−log(nn+1)] which is convergent and converges to a special real number called as "Euler's Constant (γ)". Also a power series, n=0∑∞(n!xn) converges to ex, for all values of x.These are some of the series whose convergence or divergence is known to us, but given an arbitrary infinite series, of constant terms or variable terms, how do you find out whether it is convergent or divergent. And if it is convergent then, to which real value does it converge to. These are the two simple looking problems which have driven the whole research of Infinite Series. The first problem among the two is easier to answer because there are different, well defined, methods and techniques, such as a variety of different tests, which can be used to attack these series and establish their convergence or divergence. Of course, the series with positive terms, arbitrary constant terms, alternating series, power series, etc, all have different tests and methods and therefore it's important to study the theory regarding the development of these different tests. The latter problem is not quite easy to solve, as there are not many well-defined methods to find the limiting value. To understand this, consider the Euler's Constant γ, it is still an open problem about the nature of this real number, we even still don't know whether it is rational number or irrational number, such is the difficulty. These Infinite Series, their convergence or divergence, their limiting values, the rate of their convergence or divergence has a very important place in the mathematics, as they have applications in many different branches of the subject. Also, these series and their limiting value play a very important role and have many applications in the field of Theoretical Physics. This paper is based on developing and understanding this theory from scratch, from the very basics and establishing the proper foundation of the theory and then moving on to tackle some advanced problems and topics like approximating the limiting values of these series, changing the rate of convergence or divergence of a given series, constructing different series converging to same limiting value, etc.
Keywords: tests of convergence, limiting value, power series, rate of convergence, transformation of series, numerical valuations
INTRODUCTION
This paper is based on work done from the book “Theory and Application of Infinite Series”, by Konrad Knopp and some other supplementary books. It is considered that the reader has the basic knowledge of real number system, and some basics terminologies of real analysis. In the book, Dr. Knopp has represented the idea of real numbers as nest of intervals with rational numbers as endpoints, i.e nested intervals of rational numbers. This same idea has been used in some of the proofs. If the reader is not familiar with representing real numbers as nested intervals, it is advisable to read the first chapter from the book by Dr. Knopp.
“Given any sequence, examining their construction shows that there always exists two or more forces, which oppose one another and thereby call forth the variations of terms. One force tends to increase and others to diminish them and it is not clear at a glance which of the two will get the upper hand or in what degree this will happen.”
The paper is divided into 5 sections, first being based on the sequences of Real numbers. It is quite basic and cover the theory of sequences and introduces the reader to idea of infinite sequences and then to Infinite Series, the topic of the paper. The next two sections focus on infinite series of positive terms and then arbitrary terms and aim to solve ProblemA i.e the convergence or divergence of series. We develop the required theory, study about the algebra of infinite series and define prove lots of tests for the convergence of these series. Then we have a section on power series, where we define these series, have a look at their properties and the algebra of this series.
In the last section of the paper, we deal with ProblemB i.e developing methods and process that would be helpful to find the limiting value of convergent series and also some part on approximating this values. The language of the whole paper is easy to understand. All the theorems and proofs in this paper are self contained, and an attempt is made to make use of as many basic arguments as possible in the proofs. I hope the reader enjoys reading this paper and get an overview and a good understanding of the Infinite Series. This paper will surely arm the reader with basic knowledge of Infinite series in general
SEQUENCES OF REAL NUMBERS
Arbitrary Sequences and Arbitrary Null Sequences
We will start by writing down some definitions
Defintion 2.1.1 : If each positive integer 1,2,3,⋯ corresponds to a definite real number xn then the numbers x1,x2,⋯,xn,⋯ are said to form a sequence.
Definition 2.1.2 : (Bounded Sequence ) - A sequence (xn) is said to be bounded if and only if there exists a constant number K such that ∣xn∣<K,∀n
Definition 2.1.3 : (Monotonic Sequence) - A sequence (xn) is said to be monotonically increasing if xn≤xn+1,∀n and is monotonically decreasing if xn+1≤xn,∀n.
Definition 2.1.3 : (Null Sequence) - A sequence (xn) is said to be a null sequence if for every ϵ>0, there exists a number n0=n0(ϵ) such that, ∣xn∣<ϵ,∀n>n0.
From the above definition we can say that every null sequence is a bounded sequence (and not vice-versa). In other words we can say that, if for a given sequence (xn), the ϵ-neighbourhood of 0 contains infinitely many of terms of , then (xn) is said to be a null sequence.
Now, as we have defined null sequence we will prove some theorems regarding it.
Theorem 2.1.1: (Comparison test for null sequences) - If (xn)is a null sequence and the terms of the sequence(xn′), for every n beyond a certainm, satisfies the condition ∣xn′∣<∣xn∣ or more generally∣xn′∣<K∣xn∣ , whereK is a arbitrary fixed positive number, then(xn′)is also a null sequence.
Proof : The proof can be quite easily laid down. We know that for every ϵ>0∃n0∈N such that ∣xn∣<ϵ∀n>n0. Now we can choose n0>m, such that for all n>n0,∣xn∣<Kϵ, where K>0. But for all these values of n,∣xn′∣<∣xn∣<ϵ,∀n>n0⟹(xn′) is a null sequence. Q.E.D
Theorem 2.1.2: If(xn)is a null sequence and(an) is any arbitrary bounded sequence then (xn′)=(anxn) also forms a null sequence.
Proof: Let ∃K>0 such that ∣an∣<K,∀n. We can now choose a number n0∈N such that, for every n>n0,∣xn∣<ϵ/K. Now (xn′)=(anxn). Hence for every n>n0,∣xn′∣<ϵ⟹(xn′) is a null sequence. Q.E.D
Theorem 2.1.3: If (xn)is a null sequence, then every sub-sequence (xn′)of (xn)is a null sequence.
Proof : Let(xn′)is a subsequence of (xn). ∴xn′=xkn,knis some positive integer.
Now, for any ϵ>0,∃n0∈N, such that ∀n>n0,∣xn∣<ϵ, then for any such n,∣xn′∣=∣xkn∣<ϵ, since kn>n0, certainly, if n>n0 . Q.E.D
Theorem 2.1.4: Let an arbitrary sequence(xn)be separated into two sub-sequences(xn′)and (xn′′), so that, every term of(xn)belongs to one and only one of these sub-sequences. If (xn′)and (xn′′)are both null sequences, then so is (xn)itself.
Proof : For a any given ϵ>0,∃n1,n2∈N ,such that ∣xn′∣<ϵ,∀n>n1and ∣xn′′∣<ϵ,∀n>n2 Now all the elements of (xn′)and (xn′′)will be arranged in a definite order in (xn)i.e they would have definite indices and let the terms with indices n1&n2, now has indices N1&N2 in (xn). If n0is a positive integer n0>N1&n0>N2then ∣xn∣<ϵ,∀n>n0. Q.E.D
Theorem 2.1.5: If (xn)is a null sequence and(xn′)is an arbitrary rearrangement of it, then(xn′)is also a null sequence.
Proof: For any ϵ>0∃n0∈N such that ∀n>n0,∣xn∣<ϵ From the indices of x1,x2,⋯,xn0obtained after rearrangement, let n′be the largest. Then it's logical to see that for every n>n′,∣xn′∣<ϵ⟹(xn′)is also a null sequence. Q.E.D
Theorem 2.1.6: If(xn)is a null sequence and(xn′)is obtained by any finite number of alterations, then (xn′)is also a null sequence.
Proof: After doing some finitely many alterations to(xn), we have after some nonwards, xn′=xn+p,p∈N If every (xn), for n≥n1has not changed in (xn′)and n1has received index n′then there exists n0>n′such that for any given ϵ>0,∣xn′∣<ϵ,∀n>n0. Q.E.D
Theorem 2.1.7: If (xn′)and (xn′′)are two null sequences and if the sequence (xn)is so related to them byxn′<xn<xn′′,∀n>m, i.e certain m -onwards, then (xn)is also a null sequence.
Now, as we understand the null sequences better, let's have a look at the algebra of null sequences.
Theorem 2.1.8: If (xn) and (xn′) are two null sequences then (yn)=(xn+xn′) is also a null sequence. (This theorem briefly means, two null sequences can be added together.)
Proof : For any arbitrary ϵ>0,∃n1&n2 such that, ∣xn∣<2ϵ,∀n>n1&∣xn′∣2ϵ,∀n>n2 Now, let n0 be a number such that n0>n1&n0>n2, hence ∀n>n0∣yn∣=∣xn+xn′∣<ϵ⟹(yn) is a null sequence. Q.E.D
Theorem 2.1.9: If (xn) and (xn′) are two null sequences then (yn)=(xn−xn′) is also a null sequence. (Similarly, this theorem briefly means, two null sequences can be subtracted together.)
Proof: We know that if (xn) is a null sequence and let c be any constant real number then, c⋅(xn)=(c⋅xn) is also a null sequence. Hence, choosing c=−1, we get −(xn′)=(−xn′) is also a null sequence. Then it follows from above theorem, that (yn)=(xn−xn′) is also a null sequence. Q.E.D
Similarly, the two null sequences can be multiplied term-wise. But division is not that straight forward. To check, consider (xn/xn)=1 where (xn) is non-zero for all n, is not a null sequence. Also if (xn) is a null sequence, nothing can be said about.
Theorem 2.1.10: If (∣xn∣), a sequence of absolute values of terms of (xn), has a positive lower bound i.e a number γ>0 exists, such that, for every n,∣xn∣≥γ>0, then the sequence of reciprocals, (xn1), is bounded.
Proof : One can easily see that if ∣xn∣>γ then for k>γ1,∣xn∣1=∣∣∣xn1∣∣∣≤k,∀n⟹(xn1) is bounded .
The Convergent Sequences
If one reads the previous section carefully, then it can be observed that we have already seen the convergent sequences or rather a special calss of these sequences. Yes, Null Sequences are special class of Convergent Sequences, which converges to 0. Now we will define, what do we mean by convergent sequences in general and then discuss in depth about them.
Definition 2.2.1: If (xn) is a given sequence, and if it is related to a definite number ξ in such a way that (xn−ξ) forms a null sequence, then we say that the sequence(xn)converges to ξ, or that it is convergent. The numberξ is called the limiting value or limit of this sequence; the sequence is also said to converge to ξ and we say that it's terms approach the (limiting) value ξ , tend to ξ, have the limitξ. This fact is expressed by the symbols xn→ξ as n→∞ or n→∞limxn=ξ.
Or in other words, which convey the same meaning,
Definition 2.2.2 : A sequence X=(xn) is said to converge to x∈R , or x is said to be a limit of (xn), if for every ϵ>0 there exists a natural number K such that for all n≥K, the terms (xn) satisfy, ∣xn−x∣<ϵ .
Now as we have defined Convergent Sequences, let us also define the other set of sequences which compliments the set of convergent sequences.
Definition 2.2.3: Any sequence which is not convergent in the sense of definition 2.2.1 or 2.2.2 is called as Divergent Sequence.
Now the class of divergent sequences is further divided into two types - Definitely Divergent and Indefinitely Divergent Sequences.
Definition 2.2.4: If a sequence (xn) has a property that for an arbitrary positive number G>0, there exists another number n0 such that for every n>n0,xn>G . Then we say that (xn) diverges to+∞, tends to+∞ or is definitely divergent with limit +∞. We writexn→+∞(n→∞) or limxn=+∞ or n→∞limxn=+∞
By merely interchanging right and left we get,
Definition 2.2.6: A sequence(xn) converges in sense of definition 2.2.1 or 2.2.2 or diverges definitely in sense of definition 2.2.4 or 2.2.5 are said to be definite. All other sequences which neither converge nor diverge definitely are called as indefinitely divergent or indefinite.
Eg: (−1)n,(−2)n,an(a<−1) Now, letxn=n(−1)n,xn→0 asn→∞, but it converges indefinitely to zero.
One important notation that will be useful further.
Definition 2.2.7: If two sequence(xn) and(yn), not necessarily convergent, are related to one another such that the quotientynxn tends to a definite finite limiting value (limit) for n→∞, different from zero, and we writexn∼yn.
In particular, if this limit is 1 , then we say that the sequences are asymptotically equal write as xn≅yn.
For example : n2+1≅n,log(5n2+23)∼logn,12+22+⋯+n2≅3n31
TheoremsonConvergenceofSequences
Theorem 2.2.1: A convergent sequence determines its limit quite uniquely.
Proof: Ifxn→ξ and xn→ξ′, simultaneously, then(xn−ξ) and (xn−ξ′) both are null sequences and from theorem 2.1.9 ((xn−ξ)−(xn−ξ′))=(ξ−ξ′) is also a null sequence.
Therefore ξ=ξ′ Q.E.D
Theorem 2.2.2: A convergent sequence (xn) is invariably, bounded and if∣xn∣≤K,K>0then for limitξ,∣ξ∣≤K. [Every convergent sequence is a bounded sequence.]
Proof: If xn→ξ , then for ϵ>0,∃m , such that ∀n>m,∣xn−ξ∣<ϵ⇒ξ−ϵ<xn<ξ+ϵ Now let K be a bound on ∣xn∣ , i.e ∣xn∣<K,∀n Let K1>xm, then ∣ξ∣<k1⟹∣xn∣<K,∀n If ∣ξ∣>K⟹∣ξ−K∣>0. After some n0 we would have , ∣xn∣−∣ξ∣≤∣xn−ξ∣<∣ξ∣−K⟹K<∣xn∣ a contradiction. Hence, ∣ξ∣<K. Q.E.D
Corollary 2.2.2.1:If xn→ξ then∣xn∣→∣ξ∣
Proof: Now, ∣∣xn∣−∣ξ∣∣≤∣xn−ξ∣, hence by comparison test, ∣xn∣→∣ξ∣. Q.E.D
Theorem 2.2.3 : If a convergent sequence(xn)has all it's terms different from zero and if it's limitξ=0 then (xn1)is bounded or in other words, a numberγ>0,exists such that∣xn∣≥γ>0for everyn , the numbers∣xn∣possesses a positive lower bound.
Theorem 2.2.4: If (xn′)is a subsequence of(xn)thenxn→ξ⟹xn′→ξ
Theorem 2.2.5: If a sequence(xn)can be divided into two sub-sequences of which each converges toξthen(xn)also converges toξ.
Theorem 2.2.6: If(xn′)is an arbitrary rearrangement of(xn)then(xn)→ξ⇒(xn′)→ξ
Theorem 2.2.7: If(xn)→ξand if(xn′)is obtained by finite alterations of(xn), then(xn′)→ξ
Theorem 2.2.8: If(xn′)→ξand(xn′′)→ξand if sequence(xn)lies between(xn′)and(xn′′)from somemonwards i.e∀n>m, thenxn→ξ
The proofs of the above theorems follows directly from the proof the similar theorems for null sequences in the last section. Next we will see some theorems regarding the calculations concerning convergent series.
CalculationswithConvergentSequences
Theorem 2.2.9: If xn→ξandyn→ηalways implies(xn+yn)→ξ+ηand the statement holds for term by term addition for any fixed number - say P - of convergent sequences.
Proof: As (xn−ξ) and(yn−η) are null sequences, from theorem 2.1.8, we know that ((xn+yn)−(ξ+η)) is also a null sequences. Q.E.D
Corollary 2.2.9.1: xn→ξ and yn→ηalways implies(xn−yn)→ξ−η
Proof follows from theorem 2.1.9 Q.E.D
Theorem 2.2.10: xn→ξandyn→ηalways implies(xn⋅yn)→ξ⋅ηand the statement holds for term by term multiplication for any fixed number - say P - of convergent sequences.
Proof: We have xn⋅yn−ξ⋅η=yn⋅(xn−ξ)−(yn−η)⋅ξ. And now it follows from theorem 2.1.2, that (xn⋅yn−ξ⋅η) forms a null sequence. Q.E.D
Theorem 2.2.11: xn→ξandyn→ηalways implies, if every yn≠0and alsoη≠0 then(ynxn)→ηξ
Proof: We have ynxn−ηξ=yn⋅ηxn⋅η−yn⋅ξ=yn⋅η(xn−ξ)⋅η−(yn−η)⋅ξ Now from above theorem 2.2.10, the numerator is a null sequence and from theorem 2.2.3, (ynxn) is a bounded sequence. Hence finally using theorem 2.1.2, our theorem is proved. Q.E.D
Cauchy’sTheoremsoflimitanditsGeneralization
All the theorems which we have done till now, contibute to the basic theory of Convergent Sequences. Now we will see some important ones, given by Cauchy, which will be helpful to us in our long run.
Theorem 2.2.12: If xn=(x0,x1,⋯,xn)is a null sequence, then the arithmetic mean (xn′)=n+1x0+x1+⋯+xnis also a null sequence.
Proof: For any given ϵ>0,∃m such that ∣xn∣<ϵ/2,∀n>m. For these n's, we have ∣xn′∣<n+1x0+⋯+xm+n+1n−m⋅2ϵ (Every term >xm is <2ϵ) The first fraction above is formed of finitely many terms, hence we can choose an n0>m such that for every n>n0,n+1x0+⋯+xm<2ϵ⟹∣xn′∣<ϵ,∀n>n0⟹(xn′)is a null sequence. Q.E.D
Corollary 2.2.12.1: Ifxn→ξthen so does the arithmetic mean,(xn′)=n+1x0+x1+⋯+xn
Proof: We have (n+1(x0−ξ)+(x1−ξ)+⋯+(xn−ξ))=(n+1x0+⋯+xn−n+1(n+1)ξ)=(xn′−ξ). From the above theorem (xn′−ξ) is a null sequence when (xn−ξ) is i.e xn→ξ⟹xn′→ξ Q.E.D
Now a similar theorem for the Geometric Mean.
Theorem 2.2.13: Let yn=(y1,⋯,yn)→ηand the terms in it and ηbe positive. Then the Geometric Mean(yn′)=ny1⋅y2⋯yn→η i.e(yn′−η)is a null sequence.
Proof: Let (xn)=logyn′ Now using properties of log we get xn=logyn→ξ=logη. ∴(xn′)=nx1+x2+⋯+xn=logny1⋯yn By using the above corollary 2.2.11.1, we get, logny1⋯yn→logη⟹ny1⋯yn→η Q.E.D
Now we weil move a step forward and try to generalize the above theorems so that we can use them afterwards in more general setting.
Generalization of Cauchy’s Theorems
Theorem 2.2.14: Let (x0,⋯,xn)be a null sequence and let the coefficients of the following system, satisfy the following two conditions :
Every column contains a null sequence i.e for a fixed p≥0,anp→0as n→∞
There exits a constant K , such that, sum of the absolute values of terms in any one row i.e for every n, ∣an0∣+∣an1∣+⋯+∣ann∣
Then the sequence formed by numbers xn′=an0x0+an1x1+⋯+annxn is also a null sequence.
Proof: For any givenϵ>0,∃m such that ∣xn∣<ϵ,∀n>m. ∴∣xn′∣<∣an0x0+an1x1+⋯+anmxm∣+2ϵ From condition (1) we may now choose n0>m such that, ∣an0x0+an1x1+⋯+anmxm∣<2ϵ,∀n>n0⟹∣xn∣<ϵ,∀n>n0 Q.E.D
Corollary 2.2.14.1: If our coefficientsaλμare substituted by any other numbersaλμ′=αμaλμ, obtained from from numbers aλμ by multiplication by factor αλμ, all in absolute values less than fixed α, then the numbers xn′′=an0′x0+⋯+ann′xn also forms a null sequence.
Proof: The aλμ′ satisfies conditions (1) and (2) in above theorem, hence for a fixed p≥0, anp′→0, by theorem 2.1.1. Also ∣an0′∣+∣an1′∣+⋯+∣ann′∣<αK. Hence applying theorem 2.1.2, we get the desired result. Q.E.D
Theorem 2.2.15: If (xn)→ξ and coefficient aμη beside the condition (1) and (2), satisfy, a new condition c. An=an0+⋯+ann→1, then all also the numbers xn′=an0xn+⋯+annxn→ξ
Proof: Letxn′=Anξ+ann0(x0−ξ)+⋯+ann(xn−ξ) (xn−ξ)is a null sequence and (ann) is a bounded sequence and (An−1) is a null sequence, while ξ is a constant. Then using theorems 2.1.1 and 2.1.2 (xn′) is also a null sequence. Q.E.D
Two Main Criteria
So far, we have developed enough theory to ask and ponder on questions realted to sequences. Now, we face to great problems : (A): Is a given sequence(xn) convergent or divergent (definitely or indefinitely). This means, if presented with any sequence, how can one deduce whether it is convergent or divergent. If we somehow prove that given sequence is convergent, then comes the question of its limiting value. (B): To what limit ξ, does the sequence (xn)recognized to be convergent, tend?
At this moment the task of finding the limiting value might almost seem insolvable or else trivial. Now trivial because, according to our uniqueness theorem, each convergent sequence entirely determines its limit ξ i.e it is the number itself and the solution may be considered as given, a real number represented in the form of a sequence.
Hence, an another way of stating our problem (B) will be
(B′): Two convergent sequences(xn)and (xn′) are given, how may we determine whether or not both define same limit or whether or not the two limits stand in simple relation to one another.
Now the focus of the remaining paper will be to answer this problems. But for the time being, we will leave problem B or B' untouched and focus all our attention and power in developing weapons(tools) and defenses(theory) to defeat problem A.
First Main Criterion (For Monotone Sequences)
Theorem 2.3.1: A monotone bounded sequence is invariably convergent and a monotone sequence which is not bounded is always definitely divergent.
Proof: Here we have to prove two things : a) If (xn) is increasing and unbounded then (xn)→∞ and similarly if (yn)is decreasing and unbounded, (yn)→−∞ b) If (xn) is increasing and bounded thenxn→ξ similar case for decreasing sequences.
Part A: If a sequence (xn) is monotonically increasing then xn+1>xn,∀n. Hence the sequence is bounded below (or on the left) as xn≥x1,∀n. Consider (xn)is not bounded on right, i.e for any givenG>0, we always find an indexn0 for which xn0>G⟹xn>G,∀n>n0 Hence by definition 2.2.4, xn→+∞ Similarly by some interchanges we can prove that a monotonically decreasing sequence(yn)not bounded, yn→−∞
Part B: Now let(xn)be a monotonically increasing bounded sequence. i.e ∃K such that x1≤xn<K,∀n The interval J1=(x1,K) contains all the terms of(xn). We will apply method of successive bisection to this interval and after bisecting the interval we denote right or left half of J1as J2depending on whether it does or doesn't contains points of (xn)
We apply the same rules on J2 and construct another interval J3 and so on. Now for any interval Jkwe can choose nk such that ∀n>nk, all such (xn)lies to right of Jk and no such term of (xn) is to the left. Let ξ be the number determined by the nest (Jn).
Now, for anyϵ>0, we can choose p∈Nsuch that the length of Jp is less than ϵ . ∴∀n>np, the (xn)'s along with ξ resides Jp⟹∣xn−ξ∣<ϵ,∀n>np⟹(xn−ξ) in is a null sequence i.e xn→ξ. By making, suitable changes we can prove the same for a bounded monotonically decreasing sequence. Q.E.D
If we carefully look at the above criteria, though useful, it applies to a restricted class of sequences i.e monotone sequences. We need something which will be applicable on wider scale, nearly to every sequence possible. Hence we have,
Second Main Criterion
Theorem 2.3.2: An arbitrary sequence (xn)is said to be Cauchy Sequenceif and only if, given ϵ>0, a natural number n0=n0(ϵ) can always be assigned such that for any two indices n&mboth greater than n0, we have ∣xn−xm∣<ϵ. Every Cauchy sequence is convergent and every convergent sequence is a Cauchy Sequence.
Proof: Part A: It deals with proving that if a sequence is convergent then it follows the above condition. [In simple words first will prove that every convergent sequence is Cauchy Sequence.] If (xn) is convergent and tends to ξ then for anyϵ>0,∃n0 such that ∣xn−ξ∣<2ϵ,∀n>n0. Now we choose,n′>n0such that,∣xn′−ξ∣<2ϵ. ∴∣xn−xn′∣=∣(xn−ξ)−(xn′−ξ)∣≤∣xn−ξ∣+∣xn′−ξ∣<ϵ This proves our first part.
Part B : It concerns with proving that (in simple terms) every Cauchy sequence is convergent. Here we will prove it using nest of intervals. Consider that given ϵ>0, we can always assign an index p such that for all indices n>p,∣xn−xp∣<ϵ.
Now to construct a nest of intervals let ϵ=21,41,⋯,2k1, we get 1) There is an index p1 such that for n>p1,∣xn−xp1∣<21 2) There exists an index p2 such that for n>p2,∣xn−xp2∣<41 3) Going on like this, there existspk such that ∀n>pk,∣xn−xpk∣<2k1
Accordingly we form intervals Jksuch that intervals (xp1−21,xp1+21) is called J1. It contains all the(xn)'s for which n>p1. Hence it contains xp2
Therefore it also contains whole of interval (xp2−41,xp2−41)which contains all (xn)'s such that n>p2. J2 is an interval formed by common points of J1and this interval. Going on like this, we construct