The following is a FAQ that I sometimes get asked, and it occurred to me that I do not have an answer that I am completely satisfied with. In Rudin's *Principles of Mathematical Analysis*, following Theorem 3.29, he writes:



> 
> One might thus be led to conjecture that there is a limiting situation of some sort, a “boundary” with all convergent series on one side, all divergent series on the other side—at least as far as series with monotonic coefficients are concerned. This notion of “boundary” is of course quite vague. The point we wish to make is this: No matter how we make this notion precise, the conjecture is false. Exercises 11(b) and 12(b) may serve as illustrations.
> 
> 
> 


Exercise 11(b) states that if $\sum\_n a\_n$ is a divergent series of positive reals, then $\sum\_n a\_n/s\_n$ also diverges, where $s\_n = \sum\_{i=1}^n a\_n$. Exercise 12(b) states that if $\sum\_n a\_n$ is a convergent series of positive reals, then $\sum\_n a\_n/\sqrt{r\_n}$ converges, where $r\_n = \sum\_{i\ge n} a\_i$.


Although these two exercises are suggestive, they are not enough to convince me of Rudin’s strong claim that *no matter how we make this notion precise, the conjecture is false*. Are there any stronger theorems in this direction?


**Edit.** For example, are there any theorems about the topology/geometry of the spaces of all convergent/divergent series, where a series is viewed as a point in $\mathbb{R}^\infty$ or $(\mathbb{R}^+)^\infty$ in the obvious way?



Nonexistence of boundary between convergent and divergent series?
A rather detailed discussion of the subject can be found in Knopp's [*Theory and Application of Infinite Series*](https://books.google.com/books?id=qLPxxeBzp84C "zbMATH review at https://zbmath.org/?q=an:0042.29203") (see § 41, pp. 298–305). He mentions that the idea of a possible boundary between convergent and divergent series was suggested by du Bois-Reymond. There are many negative (and mostly elementary) results showing that no such boundary, in whatever sense it might be defined, can exist.


Stieltjes observed that for an arbitrary monotone decreasing sequence $(\epsilon\_n)$ with the limit $0$, there exist a convergent series $\sum c\_n$ and a divergent series $\sum d\_n$
such that $c\_n=\epsilon\_nd\_n$. (This can be easily deduced from the Abel–Dini theorem).


Pringsheim remarked that, for a convergent and a divergent series with positive terms, the ratio $c\_n/d\_n$ can assume all possible values, since one may have simultaneously
$$\liminf\frac{c\_n}{d\_n}=0\qquad\mbox {and}\qquad\limsup\frac{c\_n}{d\_n}=\infty.$$


I like the following geometric interpretation. Given a (convergent or divergent) series $\sum a\_n$, let's mark the sequence of points $(n,a\_n)\in\mathbb R^2$
and join the consecutive points by straight segments. Then there is a convergent series $\sum c\_n$ and a divergent series $\sum d\_n$ (both with positive and monotonically decreasing terms) such that the corresponding polygonal graphs can intersect in an indefinite number of points.


The results remain essentially unaltered even if one requires that both sequences $(c\_n)$ and $(d\_n)$ are *fully monotone*, which is a very strong monotonicity assumption. This was shown by Hahn (["Über Reihen mit monoton abnehmenden Gliedern"](https://doi.org/10.1007/BF01705594 "zbMATH review at https://zbmath.org/?q=an:49.0151.03"), Monatsh. für Math., Vol. 33 (1923), pp. 121–134).


