[TPI] Własność stopu

[Matej91]

Udowodnić, że poniższy program ma własność stopu (kryterium malejących wielkości):

Kod: Zaznacz cały

var
  x, y, a : integer;
begin
  x:=10;  y:=x;
  z:=1;
  while (y<=60) do
  begin

   if ((y>=40) and (y<=60)) then
   begin 
     y:=y+5;
     z:=z+1;
  end;

if (y<40) then
  begin
    y:=y 18;
    z:=z  1;
  end;

 end;
end;

Nie wiem czy to odpowiedni dział na takie zadania.
Proszę o pomoc w rozwiązaniu tego zadania

[DontNeed]

Podbijam... Generalnie wszystkie te tutejsze zadania z tagiem [TPI] są chore.
Na co to komu...
Zadanie dla pasjonatów:

Udowodnić, że umiejętność rozwiązywania tego typu zadań przyda się kiedykolwiek informatykowi w praktyce (kryterium malejącego rozsądku)