Pascal и блок схему проверить тождество : 1+2+3+…+n=n*(n+1)/2.

PROGRAM B04;
CONST
max = 1000;
VAR
index:word;
q:boolean;
sum, frac:real;

BEGIN
q:=true;
sum:=1;
index:=2;

while (index<=max) and q do begin
sum:=sum+index;
frac:=index*(index+1)/2;
if (sum<>frac) then begin
q:=false;
writeln(sum,' <> ',frac);
end;
index:=index+1;
end;

if q then
writeln('Равенство доказано для первых ', max, ' чисел')
else
writeln('При n = ',index, ' равенство неверно');
END.