The primorial up to a real bound is the product of all prime numbers not exceeding :For example, , while . Each prime factor occurs once, so a primorial is a squarefree integer. It stays constant between successive primes, and for by the empty product convention.
Its natural logarithm is the Chebyshev theta function, . This converts multiplicative bounds on primorials into additive estimates over primes. In particular, the elementary primorial bound gives for .
New to topics? Read the docs here!