9.17 FACTDOUBLE函数：返回参数的半阶乘