Series/Real numbers/Leibniz criterion/Fact