Theorem
- Given
- With
- If , (just decreasing, not necessarily Strictly Decreasing)
- If
- Then, converges
Proof
- Given ,
- Suppose
- Suppose
- We want to show, converges. We prove by definition
- Consider odd-index set of . This is a Monotonic Sequence
- Then, by BMCT, this set converges
- Consider even-index set of . This is a Monotonic Sequence
- Then, by BMCT, this set converges
- We find later that , then by definition, set converges
Example
Prove converges
- Note
- Note that as ln is increasing
- Thus, is decreasing
- Consider
- Then, by AST, converges