loop termination

Which Of The Following Is A Loop Invariant? In computer science, a loop invariant is a property of a program loop that is true before (and after) each iteration. … The loop invariants will be true on entry into a loop and following each iteration, so that on exit from the loop both the loop