I was wondering if there is a formal name for a composite number that is produced by multiplying the first N primes.
Examples: 6 = 2 * 3
30 = 2 * 3 * 5
210 = 2 * 3 * 5 * 7
etc.
Almost like a factorial. Unfortunately the term "Factorial Prime" has a very different meaning.
They are called primorials.
To search for it, you could've gone to the OEIS and entered the first four of them. It's a handy tool for exactly this kind of thing.