Problem Statement: Let be a sequence of non-negative real numbers. Assume there exists a real number such that converges. Show converges.
Proof: Let be a sequence of non-negative real numbers. We know there exists a real number such that converges. Since the sequence converges it is also Cauchy. Let .
Let , then there exists such that for every . This implies that for :
As it follows that . Since for every we may apply the Squeeze Theorem and conclude that converges to .
Suppose that diverges. Then there is a such that for every . Let . Then for it follows that
But for it follows that since . Thus, , which is a contradiction.Therefore we may conclude that converges.
Reflection: When first attacking this proof we were getting stuck because we kept proving that converges to , which ,as I’m sure we all know, tells us absolutely nothing about the series.
After completing this proof we consulted the “qual binder” and saw another, much much much simpler way to attack this problem. The argument follows from the fact that converges to . Since the sequence converges we know that for there is an such that for every . This allows us to split the series into parts:
Since we may conclude that converges by the p-series test and since it’s a finite sum we know that converges. Thus, by the comparison test we may conclude that converges.