Write the loop invariant for the partition phase of quicksort.