What is a loop invariant?

Question

I\'m reading \"Introduction to Algorithm\" by CLRS. In chapter 2, the authors mention \"loop invariants\". What is a loop invariant?

Answer 1

A loop invariant is an assertion that is true before and after loop execution.