Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It only takes a minute to sign up.
Sign up to join this community
Prove/disprove: We have a positive sequence $a_n$ such that $\displaystyle\lim_{n\to\infty}a_n=0$ so the series $\displaystyle\sum^\infty_{n=1} (-1)^na_n $ converge.
It's very similar to Leibniz alternating sum test but I think the statement is false so I'm trying to find a counter example. If there's a positive sequence that tends to zero but isn't monotone decreasing then the alternating sum test won't work, thus the series does not converge.
This community wiki solution is intended to clear the question from the unanswered queue.
First off, failing the alternating series test doesn't imply that the series doesn't converge.
The example you gave is perfect: $\displaystyle a_n = \begin{cases}1/n^2 &\text{if $n$ is odd}, \\ 0 & \text{if $n$ is even}. \end{cases}$.
Notice that $\displaystyle \lim_{n \to \infty} a_n = 0$ but $a_n$ is not monotonically decreasing (it jumps up and down from $1/n^2$ to $0$).
However $\displaystyle \sum_{k = 1}^\infty a_n < \sum_{k = 1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6} < \infty$ and hence converges.
Now, to disprove the statement in question, define $\displaystyle a_n = \begin{cases}1/n^2 &\text{if $n$ is odd}, \\ 1/n & \text{if $n$ is even}. \end{cases}$.
It is immediate that $\displaystyle \lim_{n \to \infty} a_n = 0$.
Notice that $$\displaystyle \sum_{n \text{ odd}} a_n = \sum_{n \text{ odd}} \frac{1}{n^2}< \sum_{k = 1}^\infty \frac{1}{n^2} = \frac{\pi^2}{6}$$ and $$\displaystyle \sum_{n \text{ even}} a_n = \sum_{n \text{ even}} \frac1n = \frac12 \sum_{k = 1}^\infty \frac1n = \frac12 \cdot \infty = \infty.$$ Therefore $$\displaystyle \sum_{n = 1}^\infty (-1 )^n a_n = \sum_{n \text{ even}} a_n - \sum_{n \text{ odd}} a_n = \infty - \text{ finite positive number} = \infty.$$
