(*#* Divergence can be characterized in a positive way, which will sometimes
be useful. We thus define divergence of sequences and series and prove the
(*#* Divergence can be characterized in a positive way, which will sometimes
be useful. We thus define divergence of sequences and series and prove the