Added function to prime factorize a factorial