На множестве натуральных чисел факториал числа n определяется следующим образом. Это произведение всех натуральных чисел от 1 до n включительно: В частности, произведение (n-1)(n-2)...1 является факториалом числа n-1. Тогда для факториала верно вот такое рекуррентное соотношение: Что же касается нуля, то его факториал равен единице. Просто так договорились и всё! На этом можно было бы закончить эту статью, но я бы хотел продемонстрировать, что такая договорённость не приводит к противоречиям. Ну...