while은 함수가 아니라서 local변수로 취급되지 않는다고 알고있습니다. 제가 정확히는 모르지만, 현재 배운 범위 내에서는 def가 유일하게 local변수로 따로 취급받는다고 알고계시면 될것 같습니다.

첫번째 반복문에서 x가 4까지 커지면서 4개를 출력하고 x=5일때 조건부분에 들어가서 조건을 만족시키지 못하고 빠져나가고 두번째 반복문으로 넘어가게 됩니다. 출력상으로는 x=4일때 넘어간 것으로 생각될 수 있으나 실제 x값은 5로 바뀐 상태로 2번째 반복문으로 넘어갑니다