Updated handling factorization result from slow_primes.
Use estimate_nth_prime as upper bound in 7.