Ackermann’s function

функция Акермана (индуктивно определяемая рекурсивная функция двух целых неотрицательных переменных)