145 is a factorion because 1! + 4! + 5! = 1 + 24 + 120 = 145.
factorialization factor hyperfactorial factorizer prime factor prime factorization integer factorization subfactorial factoriality factoring