factorial2 is positive whenever it is an integer