Consider any finite set of primes. Multiply all of them together and add 1 (see Euclid number). The resulting number is not divisible by any of the primes in the finite set we considered, because dividing by any of these would give a remainder of 1. Because all non-prime numbers can be decomposed into a product of underlying primes, then either this resultant number is prime itself, or there is a prime number or prime numbers which the resultant number could be decomposed into but are not in the original finite set of primes. Either way, there is at least one more prime that was not in the finite set we started with. This argument applies no matter what finite set we began with. So there are more primes than any given finite number. (Euclid, Elements: Book IX, Proposition 20)
Consider any finite set of primes. Multiply all of them together and add 1 (see
new number q, equal to the product of all primes between 2 and p, plus 1.
I'll also suggest that "top prime's divisors" means the set of all known primes.