Pseudo-Code/ Java

1. In statistics, the (arithmetic) mean of a data set is computed by adding up all the numbers in the set and dividing by the total number of elements. MEAN(A[1,..., n]): sum := 0 for i = 1,...,n sum := sum + A[i] return sum The correctness of this algorithm depends on the loop correctly computing the sum of all the numbers. Prove that the loop is correct with respect to the following conditions: 0. Pre-condition: A is an array of real numbers, and sum = Post-condition: sum is the sum of all the elements in A. using the following loop invariant: Before each iteration of the for loop, sum is the sum of the elements A[1], ..., Ali 1]