Definition:Sum Notation