- Giá trị ban đầu S = 20, n = 1

- Điều kiện S ≥ 5 thì kết thúc vòng lặp

- S = 20 ≥ 5 ⇒ Điều kiện đúng

- Chuyển tới bước 4, in giá trị S và kết thúc

- Chương trình không thực hiện vòng lặp nào

- Kết quả S = 20

- Viết chương trình Pascal :

uses crt;

var S, n : integer;

begin

clrscr;

S := 20; n := 1;

while S < 5 do begin

n := n + 1; S := S - n; end;

write('S = ', S);

readln

end.