If a series converges with decreasing terms, then na_n -> 0

Click For Summary

Homework Help Overview

The discussion revolves around proving that if \( (a_n) \) is a decreasing sequence of positive numbers and \( \sum a_n \) converges, then \( \lim na_n = 0 \). Participants are exploring the implications of the Cauchy criterion in the context of series convergence.

Discussion Character

  • Exploratory, Assumption checking, Problem interpretation

Approaches and Questions Raised

  • One participant attempts to use the Cauchy criterion to establish a relationship between the terms of the series and their limits, but another questions the validity of the conclusion drawn from the argument. There is a focus on the dependence of \( N \) on \( \epsilon \) and the implications of that on the argument's validity.

Discussion Status

The discussion is ongoing, with participants critically evaluating the initial argument and suggesting that a modification may be necessary. There is a reference to an external discussion that may provide additional insights.

Contextual Notes

Participants are grappling with the implications of the decreasing nature of the sequence and the convergence of the series, while also considering the limitations of their arguments regarding the behavior of \( na_n \) as \( n \) approaches infinity.

Mr Davis 97
Messages
1,461
Reaction score
44

Homework Statement


Prove that if ##(a_n)## is a decreasing sequence of positive numbers and ##\sum a_n## converges, then ##\lim na_n = 0##

Homework Equations

The Attempt at a Solution


Let ##\epsilon >0##. By the Cauchy criterion there exists an ##N\in \mathbb{N}## such that ##\forall n\ge m\ge N##, we have that ##|\sum_{k=m+1}^{n}a_k|<\epsilon##. But the sequence is decreasing, so ##|(n-m)a_n|\le |\sum_{k=m+1}^{n}a_k|<\epsilon##. So we have that ##|na_n-ma_n|<\epsilon## for all ##\epsilon>0##. So ##na_n=ma_n## for all ##n\ge m\ge N##. Since the tails of these sequence are the same eventually, they have the same limit. Since ##\sum a_n## converges, we see that ##\lim ma_n = 0##. Hence ##\lim n a_n = 0##.
 
Physics news on Phys.org
That argument doesn't work. Given ##\epsilon > 0## there exists ##N## such that...
The problem is that the ##N## depends on ##\epsilon##. So the (obviously false) conclusion that ##na_n = ma_n## for all ##n\ge m## doesn't follow. Try again.
 
LCKurtz said:
That argument doesn't work. Given ##\epsilon > 0## there exists ##N## such that...
The problem is that the ##N## depends on ##\epsilon##. So the (obviously false) conclusion that ##na_n = ma_n## for all ##n\ge m## doesn't follow. Try again.
I guess that conclusion is obviously false when I look at it now... So I have that ##|(n-m)a_n|<\epsilon##. How can I get rid of that ##m## to get my result? Is there something simple that I am overlooking?
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K