Definition:

factorial