Write the loop invariant for the partition phase of quicksort.

We gave several examples in class.  There are several correct answers
(although they are all essentially te same) and even more almost correct,
but slightly off, answers.