Задача "Антифакториал" - PascalABC.NET

Формулировка задачи:

Факториалом числа n называется число n! = 1·2·3·...·n, то есть произведение чисел от 1 до n. Ваша задача состоит в том, чтобы по данному числу x определить, является ли оно факториалом какого-либо натурального числа n. Задачу решить рекурсией.

Решение задачи: «Задача "Антифакториал"»

Листинг программы

function IsFac(k, n: integer): boolean := (n > 1) and (n mod k = 0) ? IsFac(k + 1, n div k) : n = 1;
begin
  write(IsFac(1, ReadlnInteger('n = ')))
end.

Объяснение кода листинга программы

Задача программы - вычислить факториал числа n.
Функция IsFac(k, n) проверяет, является ли число n фактором числа k.
Если n больше 1 и делится на k без остатка, то функция рекурсивно вызывает саму себя с увеличенным значением k и уменьшенным значением n.
Если n равно 1, то функция прекращает работу и возвращает результат.
Значение функции IsFac(1, ReadlnInteger('n = ')) выводится на экран.
Переменная k инициализируется значением 1.
Переменная n инициализируется значением, которое считывается с помощью функции ReadlnInteger('n = ').
Результатом работы программы будет факториал числа n.