(factorial 10)
    → 3628800