Prime Factorization of Factorials