Invariant for merge sort

[aacx97]

This may be in the wrong section. I just started learning about invariants and i need to write one for a merge sort. I don't need the code, just the concept really.