Спроцедуры, и вторую с функции ​

===== PascalABC.NET =====

procedure pK(n: integer; var k: int64);

begin

 k := 1;

 for var i := 2 to n do

   k *= i

end;

function fK(n: integer): int64;

begin

 Result := 1;

 for var i := 2 to n do

   Result *= i

end;

begin

 var n := ReadInteger('n =');

 var r: int64;

 pK(n, r);

 Println('Процедура:', r);

 Println('Функция:', fK(n))

end.