(8×7×6×5×4×3×2×1)这种数的学名是什么