Convergence of implies . Hence for all sufficiently large , and then . The comparison test, with the finitely many initial terms treated separately, proves that
This is the squares of a summable positive sequence lemma.