Worked examples: Summation notation