13-3.1.1 Introduction to summation notation