factorial is positive also for n=0
Merge pull request #8529 from pelegm/factorial_is_positive

factorial is positive also for n=0