loop invariant란 개념이 코딩할 때 정말 유용한데

[익명(118.33)]

assert로 해당 코드가 잘 돌아가는것을

무려 "증명"할 수 있음

무적코드 가능 ㅇㅅㅇ