In the following fragment of code

public int findMax(int data[], int size){

int retval = data[0];

for (int i = 0; i < size; i++){

if (data[i] > retval)

retval data[i];

return retval;

}

}

What is the invariant of the for loop?