One definition of the factorial that is more general than the usual
is via the gamma function, where
This definition is not limited to positive integers, and in fact can be taken as the definition of the factorial for non-integers. With this definition, you can quite clearly see that
If you are starting from the "usual" definition of the factorial, in my opinion it is best to take the statement as a part of the definition of the factorial function, as anything else would require proofs using the factorial to include special cases for
and
. It's a definition that is consistent and makes our lives easier.
One definition of the factorial that is more general than the usual
is via the gamma function, where
This definition is not limited to positive integers, and in fact can be taken as the definition of the factorial for non-integers. With this definition, you can quite clearly see that
If you are starting from the "usual" definition of the factorial, in my opinion it is best to take the statement as a part of the definition of the factorial function, as anything else would require proofs using the factorial to include special cases for
and
. It's a definition that is consistent and makes our lives easier.
There is exactly one permutation of a set of zero elements.
Videos
We need to be defined as
so that many mathematical formulae work. For example we would like
to work when
ie
Also we require that the formula for the number of ways of choosing
objects from
is valid for
ie
is valid when
Things need to work when we extend our definition of the factorial via the gamma function.
The above gives and so we require
since
I'm not sure that there is anything to prove. I think it follows directly from the definition of factorial:
So if the right hand side is the empty product, which is
by convention.
Wouldn't this also mean that 1!=0!, why is this true?