Рекурсия Опции

[Client]

Function fact(i:integer):longint;
begin
   if (i=0) or (i=1) then
      fact:=1
   else
      fact:=fact(i-1)*i
end;

Объясните, пожалуйста, как она работает (ведь это рекурсия?)

[Client]

Вопрос из теста: Какие из следующих описаний функции f(n), каторая должна вычислять факторил от n правильны?
а)

function f(n:integer):integer;
begin
   f:=n*(n-1)
end;

б)

function f(n:integer):integer;
begin
   if n=0 then f:=1
   else f:=f(n+1)-(n+1)
end;

в)

function f(n:integer):integer;
begin
   if n=0 then f:=1
   else f:=n*(n-1)*f(n-2)
end;

г)

function f(n:integer):integer;
begin
   if n=0 then f:=1
   else f:=n*f(n-1)
end;

В первом случае она зависнет
Во втором вроде тоже зависнет, т.к. N не уменьшется и вызывается все время f(1)
В третьем посчитает неправильно, допустим n=5,то 5*4*f(3)*f(1), здесь пропустится f(2)
В четвертом вроде все правильно
Скажите, пожалуйста, где я ошибся