Theorem

  • Given
  • With
  • If , (just decreasing, not necessarily Strictly Decreasing)
  • If
  • Then, converges

Proof

  1. Given ,
  2. Suppose
  3. Suppose
  4. We want to show, converges. We prove by definition
  5. Consider odd-index set of . This is a Monotonic Sequence
    1. Then, by BMCT, this set converges
  6. Consider even-index set of . This is a Monotonic Sequence
    1. Then, by BMCT, this set converges
  7. 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