Это соглашение, с которым многие формулы с факториалом становятся проще. Например, биномиальный коэффициент C_n^k определяется как n!/(k!*(n-k)!) для всех k от 0 до n. Если бы соглашения про 0! не было, то случаи k=0 и k=n пришлось бы рассматривать отдельно