Вот тебе с пост условием
program prim1;
var n,b,c: integer;
begin
b:=0;
c:=0 ;
writeln('введите n');
readln(n);
repeat ;
c:=c+b;
b:=b+1;
until b>n;
writeln(' сумма всех натуральных чисел не превышающих ',n,' = ',c);
readln;
end.
извини с предусловием не получается