factorial2 is positive whenever it is an integer
Merge pull request #8532 from pelegm/factorial2_is_positive

factorial2 is positive whenever it is an integer