Man betrachte die Folge der Partialsummen ${\displaystyle s_{N}=\sum _{n=1}^{N}2^{n}\cdot x_{2^{n}}}$ bzw. ${\displaystyle t_{N}=\sum _{n=1}^{N}x_{n}}$ in zwei Fällen.

Erster Fall: ${\displaystyle \sum _{n=1}^{\infty }x_{n}}$ konvergiert.

Da ${\displaystyle (x_{n})_{n\in \mathbb {N} }}$ eine monoton fallende Nullfolge ist, folgt:

 ${\displaystyle s_{N}=\sum _{n=1}^{N}2^{n}\cdot x_{2^{n}}=(x_{2}+x_{2})+(x_{4}+x_{4}+x_{4}+x_{4})+...+\underbrace {(x_{2^{N}}+...+x_{2^{N}})} _{2^{N}{\text{ Summanden}}}}$

    ${\displaystyle {\text{      }}=2\cdot (x_{2}+(x_{4}+x_{4})+...+\underbrace {(x_{2^{N}}+...+x_{2^{N}})} _{2^{N-1}{\text{ Summanden}}})\leq 2\cdot (x_{2}+x_{3}+x_{4}+...+x_{2^{N-1}+1}+...+x_{2^{N}-1}+x_{2^{N}})\leq 2\cdot \sum _{n=1}^{\infty }x_{n}<\infty .}$

Die Folge ${\displaystyle s_{N}}$ der Partialsummen wächst monoton und ist beschränkt. Es folgt somit Konvergenz.

Zweiter Fall: ${\displaystyle \sum _{n=1}^{\infty }2^{n}\cdot x_{2^{n}}}$ konvergiert.

Da ${\displaystyle (x_{n})_{n\in \mathbb {N} }}$ eine monoton fallende Nullfolge ist, folgt:

 ${\displaystyle t_{N}=\sum _{n=1}^{N}x_{n}=x_{1}+x_{2}+x_{3}+x_{4}+x_{5}+...+x_{N}\leq x_{1}+(x_{2}+x_{3})+(x_{4}+x_{5}+x_{6}+x_{7})+...+(x_{2^{N}}+x_{2^{N}+1}+...+x_{2^{N+1}-1})}$

    ${\displaystyle \leq x_{1}+(x_{2}+x_{2})+(x_{4}+x_{4}+x_{4}+x_{4})+...+\underbrace {(x_{2^{N}}+x_{2^{N}}+...+x_{2^{N}})} _{2^{N}{\text{ Summanden}}}\leq x_{1}+\sum _{n=1}^{\infty }2^{n}\cdot x_{2^{n}}<\infty .}$

Die Folge ${\displaystyle t_{N}}$ der Partialsummen wächst monoton und ist beschränkt. Es folgt somit Konvergenz.