# Is there an alternating series that satisfies only one of the conditions of the Alternating Series Test that nonetheless converges?

I was recently helping a college math student with her homework. Her teacher had offered an extra-credit question: Find two alternating series $\sum_{n=1}^\infty (-1)^{n-1}a_n$ such that $a_{n+1} \leq a_n$ for all $n$, but $\lim_{n\to\infty} a_n \neq 0$. One of the provided series should converge, and the other should diverge.

A divergent series was easy to find: $\sum_{n=1}^\infty (-1)^{n-1} \left(1+\frac{1}{n}\right)$. I'm having a much harder time coming up with a convergent series, though. In fact, I suspect there isn't one.

Informally (since it's been many years since I myself studied this topic):

Since $\lim_{n\to\infty}a_n \neq 0$, then it either diverges or converges to some other number. Since the series is positive and monotone nonincreasing, it cannot diverge. Let $L$ be the positive number to which it converges. Then the odd terms of the alternating series converge to $L$ from above, and the even terms converge to $-L$ from below. Each term of the sequence of partial sums then differs from the previous term by at least $2L$, so the series does not converge.

So... Did the teacher offer an impossible problem on purpose, or is there a flaw in my reasoning?

-

6
Your reasoning is correct, the series cannot converge. In fact the limsup and the liminf of the sequence of the partial sums will be at distance $L$ from each other. – Did Nov 3 '11 at 19:10
If $b_n$ is bounded and bounded away from $0$ (e.g. $b_n=(-1)^n$) and $b_na_n\to0$ as $n\to\infty$ then $a_n\to0$ as $n\to\infty$. – AD. Nov 3 '11 at 19:11

2
I'm betting the student copied the problem incorrectly. Sure, college math teachers make mistakes, but students make many, many more. – Gerry Myerson Nov 3 '11 at 23:14
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 18, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9648464322090149, "perplexity_flag": "head"}