1 раз выполнится. Он проверяет 5<8? Да! Тогда 5+4=9. Далее 5<9? Нет! Выходим из цикла
procedure Minmax(var a, b: integer);
var min, max: integer;
begin
if a < b then min := a else min := b;
if a > b then max := a else max := b;
a := min;
b := max;
end;
Readln(m);
rez:=1;
while (i<=m) do
begin
rez:=rez*m;
inc(m);
inc(i);
end;
write(rez);