Real series/Direct comparison test/Fact/Proof