Sum and product of real numbers#8604

Sum and product of real numbers (Discussion)