Loop Invariant


property of a program loop that is true before and after each iteration 
모든 반복 시의 전후로 변하지 않는 성질



> [Loop-Invariant in Iteration](https://2jinishappy.tistory.com/188)

> [Loop invariant](https://en.wikipedia.org/wiki/Loop_invariant)





