empty products that evaluate to 1.

The sequence of double factorials for even = starts asThe sequence of double factorials for odd = starts as

The term odd factorial is sometimes used for the double factorial of an odd number.

There is another definition of double factorial, which can be evaluated for most complex numbers; see below.

History and usage

In a 1902 paper, the physicist Arthur Schuster