Write a loop invariant for the loop in the code fragment below:

   int smallest = x[0];
   int m = 0;
   while (m < 5)
    if (x[++m] < smallest)
     smallest = x[m];