prime factorization of 20!