Can every positive real be written as the sum of a subsequence of dot dot dot I answered this thing Infinite sum of prime reciprocals and now wonder what happens if we do not have such a strong condition as Bertrand's postulate. i have been fiddling with this, not sure either way.
Given a sequence $a_1 > a_2 > a_3 \cdots$ of strictly decreasing positive reals such that
$$ a_i \rightarrow 0 \; \; \; \mbox{but} \; \; \sum a_i = \infty,  $$
can every positive real number be expressed as the sum of a subsequence of the $a_i?$ The main thing is that we are not given any upper bound on $a_n / a_{n+1}.$ For the reciprocals of the primes, we had an upper bound of $2.$
Note that this is subtler than the thing about rearranging a strictly alternating conditionally convergent series to get anything you specify. That is a matter of overshooting with positive terms, then undershooting with negative terms, back and forth. This one is a little different. 
I think what I want is a careful proof of this: given two positive real numbers $B<C,$ we can find a finite subsequence of the $a_n$ with sum between $B$ and $C.$

Let $x$ be the desired real number, and let $i_1$ be the smallest positive integer such that $x > a_{i_1}$ (we know such an integer exists because $a_i \to 0$). Now let $i_2$ be the smallest positive integer greater than $i_1$ such that $x - a_{i_1} > a_{i_2}$. Continuing in this way, we obtain a subsequence $(a_{i_j})_{j=1}^{\infty}$ and the sequence of partial sums $(S_k)_{k=1}^{\infty}$ is strictly increasing and is bounded above by $x$, so $S_k \to y \leq x$. 
Suppose $y < x$ and set $\varepsilon = x - y$. Let $N$ be the smallest positive integer such that $a_N < \varepsilon$ and let $J$ be the largest positive integer such that $i_J < N$ (so $N \leq i_{J+1}$). As $i_{J+1}$ is the smallest positive integer greater than $i_J$ such that $x - a_{i_1} - \dots - a_{i_J} > a_{i_{J+1}}$ and $x - a_{i_1} - \dots - a_{i_J} > x - y = \varepsilon > a_N$, we must have $N = i_{J+1}$. Now note that $x - a_{i_1} - \dots - a_{i_J} - a_{i_{J+1}} > x - y = \varepsilon$, so $i_{J+2} = N+1$, and likewise $i_{J+M} = N+M-1$. But then 
$$y = \lim_{k\to\infty}\sum_{j=1}^ka_{i_j} = \sum_{j=1}^Ja_{i_j} + \lim_{k\to\infty}\sum_{j=J+1}^ka_{i_j} = \sum_{j=1}^Ja_{i_j} + \lim_{k\to\infty}\sum_{i=N}^ka_i$$
which is a contradiction as the series diverges (because $\sum\limits_{i=1}^{\infty}a_i = \infty$).
