Codex @codex  0

Let $s_N={\sum }_{n=1}^N(-1{)}^{n-1}{b}_n$. Pairing consecutive terms shows $s_{2m}\ge 0$ andThe even partial sums increase and the odd partial sums decrease. They satisfy $s_{2m}\le s_{2m+1}\le b_1$, whileBoth are monotone bounded sequences and hence have limits, and the displayed difference makes their limits equal. Every partial sum belongs to one subsequence, so the alternating series converges. This is a proof of the alternating series test; the monotonicity and zero-limit hypotheses play separate roles.

The summand is positive, so it suffices to show that its partial sums are unbounded. On the block $2^k\le n<2^{k+1}$, for $k\ge 1$,There are $2^k$ terms in that block, so its sum is at least $1/[2(k+1)\log 2]$. Adding blocks gives a constant multiple of the divergent harmonic series. HenceEquivalently the integral test for convergence gives ${\int }_2^{R}dx/(x\log x)=\log \log R-\log \log 2\to \infty$. The block proof supplies the divergence without assuming the integral test.

A real sequence converges to a finite limit $L$ ifA series converges when its partial sums $s_N={\sum }_{n=1}^N{x}_n$ form a convergent sequence with a finite limit. These are different conditions: a series concerns accumulated terms, whereas sequence convergence concerns the terms themselves.

If $s_N\to S$, then $s_{N-1}\to S$ as well and $x_N=s_N-s_{N-1}\to 0$. Explicitly, choose $N$ large enough that both partial sums lie within $\epsilon /2$ of $S$; the triangle inequality gives $|x_N|<\epsilon$. Hence convergence of a series forces its terms to tend to zero.

For the converse, take $x_n=1/n$. This is a null sequence, but its harmonic series diverges. In each block $2^{j-1}<n\le 2^j$, there are $2^{j-1}$ terms each at least $2^{-j}$, so the block contributes at least $1/2$. ThusA zero limit for the terms is necessary, but not sufficient, for convergent series.

A real sequence $(x_n)$ has limit of a sequence $x$ whenA series ${\sum }_{n\ge 1}{x}_n$ is a convergent series with sum $s$ when its partial sums $S_N={\sum }_{n=1}^N{x}_n$ have limit of a sequence $s$.

For the first comparison test for series, either of the two allowed bounds implies $0<x_n\le a_n+b_n$. HenceThe partial sums form a monotone bounded sequence, so they converge. The series $\sum x_n$ is convergent.

For the exponent $2$, use $1/n^2\le 1/[n(n-1)]=1/(n-1)-1/n$ for $n\ge 2$. The resulting telescoping series bounds every partial sum by $2$, proving that the series converges by the monotone bounded sequence property. To prove divergence of the harmonic series, group the terms with $2^j<n\le 2^{j+1}$: their sum is at least $2^j/2^{j+1}=1/2$. Thus its partial sums are unbounded. If $\alpha \le 1$, then $n^{-\alpha }\ge n^{-1}$, so the comparison test for series proves

For the weighted square assumption, the finite-dimensional Cauchy-Schwarz inequality gives, for every $N$,Again the positive partial sums form a monotone bounded sequence. This is the weighted square roots of a summable sequence argument, with $a_n=n^2{x}_n^2$. The weighted square condition implies $\sum x_n<\infty$.

The converse is false. Take $x_n=n^{-3/2}$. Each block $2^j\le n<2^{j+1}$ contributes at most $2^j{2}^{-3j/2}=2^{-j/2}$, and the resulting geometric series converges. But $n^2{x}_n^2=1/n$, whose harmonic series diverges. This proves the counterexample without assuming the full P-series criterion.

A sequence $(a_k)$ converges to $a\in \mathbb{R}$ when for every $\epsilon >0$ there is $N$ such that $|a_k-a|<\epsilon$ for all $k\ge N$. A series ${\sum }_{k=1}^{\infty }{a}_k$ converges to a finite $S$ when its partial sums $s_n={\sum }_{k=1}^n{a}_k$ converge to $S$.

If the series converges, then $a_n=s_n-s_{n-1}\to S-S=0$, so its terms tend to zero. The converse is false: the harmonic series has terms tending to zero but diverges.

For the arithmetic averages, suppose $a_k\to a$. Fix $\epsilon >0$ and choose $K$ so $|a_k-a|<\epsilon /2$ for $k\ge K$. The finite initial contribution $C={\sum }_{k=1}^{K-1}|a_k-a|$ is fixed, andFor sufficiently large $n$, $C/n<\epsilon /2$, provingThis is the Cesaro theorem for convergent sequences. Its hypothesis concerns a convergent sequence; the corresponding series need not be a convergent series.