C program

1; max = The following code finds the largest item in an array named items[0:n-1] Find the loop invarient. {pre: size > 0} k items [0]; {loop-inv: ??]} while (k != size) { if (max