Как мне кажется факториал не сразу появился, а лишь после того, когда поняли, что есть какая-то взаимосвязь между кол-вом элементов и кол-вом вариантов перестановок. Т.е. взяли одну книгу, опа, 1 вариант перестановки, 2 книги - 2 варианта, 3 книги - 6 вариантов. И чем больше книг брали, тем больше становилось число. А на сколько больше? А на столько, что если зная возможное кол-во перестановок в уже существующей стопке книг, добавить еще одну, то получается что помимо всех тех вариантов, что были до добавления, мы можем переставить книги еще столько раз, сколько книг уже сейчас есть (т.е. новая книга сможет побывать на всех позициях в этой стопке, что умножит общее кол-во перестановок на кол-во мест).
И получилась формула: S = (N-1) * N, N0=1
Объяснил сумбурно, на пальцах показать проще