求阶乘的函数