Does every sequence of rationals, whose sum is irrational, have a subsequence whose sum is rational Assume we have a sequence of rational numbers $a=(a_n)$. Assume we have a summation function $S: \mathscr {L}^1 \mapsto \mathbb R, \ \ S(a)=\sum a_n$ ($\mathscr {L}^1$ is the sequence space whose sums of absolute values converges). Assume also that $S(a) \in \mathbb R \setminus \mathbb Q$. 
I would like to know if every such sequence $a$ has a subsequence $b$ (infinitely long) such that $S(b) \in \mathbb Q$.
Take as an example $a_n = 1/n^2$. Then $S(a)=\pi^2/6$. But $a$ has a subsequence $b=(b_n)=(1/(2^n)^2)$ (ie. all squares of powers of $2$). Then $S(b)=4/3$. Is this case with every such sequence?

No; for example, if $(n_i)$ is a strictly increasing sequence of positive integers, then we can imitate the proof of the irrationality of $e$ to see that
$$\sum_{i=1}^\infty \frac{1}{n_1 \dots n_i} \notin \mathbf Q.$$
But every sub-series of this series has the same property (it just amounts to grouping some of the $n_i$ together).
