sympy/sympy — pull request #8529 by pelegm (2014-11-27 11:54:37+00:00)
Title: factorial is positive also for n=0

Thus, if a variable is known to be a nonnegative integer, its factorial should be known to be positive.