primorial
The primorial of , or , is the product of the first consecutive primes, thus:
( is the th prime number![]()
).
The first few primorials are 2, 6, 30, 210, 2310, 30030, 510510, 9699690, 223092870, 6469693230, 200560490130; these are listed in A002110 of Sloane’s OEIS. Sometimes the notation is used to refer to the product of all primes , where is the prime counting function (so then rather than 210).
Primorials are used in the classic proof that there are infinitely many primes: assuming that there are exactly primes and no more, is a number that is not divisible by any of the existing primes, but if that is a prime then it contradicts the initial assumption.
If, in reckoning the sieve of Eratosthenes![]()
, one strikes out again numbers that have already been struck off, the sequence
![]()
of the smallest number struck off times is precisely the sequence of the primorials.
Any highly composite number (with the exception of 1) can be expressed as a product of primorials in at least one way.