Sum of real numbers#8605

Sum of real numbers (Discussion)