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

Click For Summary
SUMMARY

The discussion centers on proving that if a sequence of positive numbers \( (a_n) \) is decreasing and the series \( \sum a_n \) converges, then \( \lim n a_n = 0 \). The proof utilizes the Cauchy criterion, establishing that for any \( \epsilon > 0 \), there exists an \( N \) such that for all \( n \geq m \geq N \), the inequality \( |(n-m)a_n| < \epsilon \) holds. The conclusion drawn is that as \( n \) approaches infinity, \( n a_n \) must converge to zero, confirming the initial hypothesis.

PREREQUISITES
  • Understanding of convergence criteria in series
  • Familiarity with the Cauchy criterion
  • Knowledge of limits and sequences
  • Basic proficiency in mathematical notation and proofs
NEXT STEPS
  • Study the Cauchy criterion in depth
  • Explore the properties of decreasing sequences
  • Learn about convergence tests for series
  • Investigate related limit theorems in calculus
USEFUL FOR

Mathematics students, educators, and anyone interested in advanced calculus or real analysis, particularly those studying series convergence and limit proofs.

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
1K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
6
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
Replies
5
Views
2K