Pascal и блок схему прошу 10.Проверить тождество : 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 (indexlt;=max) and q do begin
sum:=sum+index;
frac:=index*(index+1)/2;
if (sumlt;gt;frac) then begin
q:=false;
writeln(sum,' lt;gt; ',frac);
end;
index:=index+1;
end;

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