sum[j, [j=1 to n]]