prime factorization 100!