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<br> 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.