Consider the following program:
procedure Add(n)
Input: n ∈ ℕ+
Output: 1 + 2 + ... + n, i.e., ∑i=1 to n i
(1) if n = 1 then return 1
(2) else return Add(n - 1) + n
Which of the following recurrence relations represents M(n), the total number of additions performed when Add(n) is executed?