Summation of i from 1 to n of Summation of j from 1 to i/Proof 2