Real series/Direct comparison test/Fact/Proof

Proof

This follows directly from the Cauchy-criterion.