countdown은 루프가 종료된다는 것을 증명할 수 있다. n이 0 또는 음수이면 루프는 결코 실행되지 않는다. 그렇지 않으면 n이 루프를 통해 매번 작아지므로 결국에는 0이 된다.

몇 가지 다른 루프의 경우엔 루프가 종료된다고 말하기가 쉽지는 않다. 예를 들어

def sequence(n):

while n != 1:

print(n)

if n % 2 == 0: # n은 짝수

n = n / 2

else: # n은 홀수

n = n*3 + 1

이 루프의 조건은 n != 1이므로 n이 1이 되어 조건이 거짓이 될 때까지 루프는 계속될 것이다.