conditionally convergent real series

Theorem.  If the series

$u_1+u_2+u_3+\mathrm{\dots }$(1)

with real terms $u_i$ is conditionally convergent, i.e. converges but $|u_1|+|u_2|+|u_3|+\mathrm{\cdots }$ diverges,then the both series

$a_1+a_2+a_3+\mathrm{\dots }\mathit{\hspace{1em}}\text{and}\mathit{\hspace{1em}}-b_1-b_2-b_3-\mathrm{\dots }$(2)

consisting of the positive and negative terms of (1) are divergent — more accurately,

$$\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^n{a}_n=+\mathrm{\infty }\mathit{\hspace{1em}}\text{and}\mathit{\hspace{1em}}\underset{n\to \mathrm{\infty }}{lim}\sum _{i=1}^n(-b_n)=-\mathrm{\infty }.$$

Proof.  If both of the series (2) were convergent, having the sums $A$ and $-B$, then we had

for every $n$.  This would however mean that (1) would converge absolutely, contrary to the conditional convergence.  If, on the other hand, one of the series (2) were convergent and the other divergent, then we can see that (1) had to diverge, contrary to what is supposed in the theorem.  In fact, if e.g. $a_1+a_2+a_3+\mathrm{\dots }$ were convergent, then the partial sum $a_1+a_2+\mathrm{\dots }+a_n$ were below a finite bound for each $n$, whereas the$n^{\mathrm{th}}$ partial sum of the divergent one of (2) would tend to  $-\mathrm{\infty }$ as $n\to \mathrm{\infty }$; then should also the $n^{\mathrm{th}}$ partial sum of (1) tend to  $-\mathrm{\infty }$.