시작 조건이 false일 때 실행 횟수가 갈립니다.
조건 먼저 검사remaining=0이면 0회
본문 먼저 실행remaining=0이어도 1회
핵심: 입력이 없으면 아무것도 처리하지 않는 배치에는 while이 맞습니다.