while은 상태가 종료 방향으로 움직여야 끝난다

초기값·조건·본문 변화가 하나의 순환 계약을 만듭니다.

  1. 초기화

    count=0

  2. 조건

    count < 3

  3. 본문

    count 출력

  4. 변화

    count++

  5. 재검사

    3이면 종료

핵심: count++가 없으면 조건은 매번 true이고 같은 0을 반복 출력합니다.