Definition:Euclid Number

Definition
A Euclid number is a natural number of the form:
 * $$E_n \ \stackrel {\mathbf {def}} {=\!=} \ p_n\# + 1$$

where $$p_n\#$$ is the primorial of the $$n$$th prime number.

Examples
The first few Euclid numbers are as follows:

$$ $$ $$ $$ $$ $$

Comment
The name derives (erroneously) from Euclid's proof of the Infinitude of Prime Numbers. It is often said that this proof relies on these numbers.

Actually, Euclid did not begin by assuming that the set of all primes is finite. What he did say was: take any finite set of primes (it could be any set, e.g. $$\left\{{3, 211, 65537}\right\}$$). Then it follows that at least one prime exists that is not in that set.

However, the numbers themselves are mildly interesting in their own right, and hence in honour of Euclid, have been (however mistakenly) named after him.