Оператор минимизации аргумента

Пусть функция f от n натуральных переменных.

Тогда результатом применения оператора минимума аргумента к функции f называется функция h от n-1 переменной, задаваемая следующим определением

При условии

т.е. функция h возвращает минимальное значение  последнего аргумента функции f, при котором её значение равно 0.

Примеры рекурсивного задания функций

1.	f(0)=0 f(n)= f(n-1)+1

2.	f(0)=1 f(n)= n*f(n-1)

3.	f(0)=1 f(1)=1 f(n)= f(n-1)+ f(n-2), n>=2

4.		f(i)+1
			5.	f(0)=1 f(1)=2 f(n)= f(n-1)*f(n-2)

6.	f(0)=1 f(n)= 2*f(n-1)