DoubleFactorial function

Double factorial