Create Correctness and the Loop Invariant

This Program in under Arrays & Sorting.
Correctness and the Loop Invariant.
Follow me - twitter.com/ihappyk