1x2x3x...xn=N!有没有具体的公式