输入正整数n，求1*2*3*…*n的值。