Jak FORMALNIE udowodnić że poniższy algorytm zwraca 1 dla n = 1 a 0 w pozostałych przypadkach? Będę bardzo wdzięczny za wszelkie podpowiedzi
function K( n: word): word;
begin
if (n < 2) then K := n
else K := K(n − 1) * K(n − 2);
prze indukcję,
dla każdego n jeśli K(n) = 0 to K(n+1) = 0, bo K(n+1) = K(n)K(n-1) = 0 * K(n-1) = 0