Real numbers/Series converges/Summands/Null sequence/Fact/Proof