https://9lib.org/document/y8gr4ox4-s-limn-sn-exists-finite-say-series-converges.html