Hello,

As a lemma to proving the "alternating series test" using the Cauchy criterion, I am told I need to show the following, (and then use this fact to prove the AST). (I am told it should be no more than a sentence or two)

Lemma.Let $\displaystyle a_n$ be a positive monotonically decreasing sequence. Suppose that for all $\displaystyle N \in \mathbb{N}$, $\displaystyle m \geq n > N$ implies that $\displaystyle \left| \sum_{k=n}^{m}(-1)^k a_k \right| \leq a_N $. Then $\displaystyle \sum_{k=0}^{\infty} (-1)^ka_k$ satisfies the Cauchy criterion

(A series $\displaystyle \sum a_n $ is said to satsify the cauchy crtierion if and only if for all $\displaystyle \epsilon > 0$, there exists $\displaystyle N$ such that $\displaystyle m \geq n >N$ imply $\displaystyle \left|\sum_{k=n}^{m}a_n\right|< \epsilon$

NOTE: I am not asking for the actual proof of the AST. Just this basic fact above which is a prerequisite to the proof.

Thanks for any help,

James