Problems & Puzzles: Conjectures

Conjecture 113. A(n) = d + prime(n)#/d is prime.such that... 

On August 19, 2026 Alain Rochelli sent the following Conjecture:

Let A(n) be the largest prime of the form prime(n)#/d + d where prime(n)# denotes the product of the first n primes and d divides prime(n)#.
A(n) is growing exponentially (i.e. 3, 7, 31, 211, 2311, 15017, 102107, 1616621, 22309297, 3234846617, 200560490131).

Obviously the corresponding value of d is the smallest squarefree number such that A(n) = d + prime(n)#/d is prime.


Using Michael Branicky's table up to 2000 (cf. A295741), we can formulate the 
conjecture d < prime(n).

For example, for values n > 1000 in A395095, we obtain with d increasing the following results:
n / prime(n) / d
1046 / 8353 / 5065
1167 / 9431 / 6098
1450 / 12109 / 6637
1460 / 12211 / 6982
1580 / 13309 / 7417
1745 / 14891 / 12419


This conjecture makes it possible to obtain primes of the order of magnitude approximating exp(prime(n)) quite easily.

Q1. Can you find a counterexample with d > prime(n)?
Q2. Can you find an extension to A395095 (32nd term)?
Q3. Can you find a heuristic proof of the conjecture d < prime(n) for all n > 0?

Q4. Could you specify the reliability level of the primality test?


Records   |  Conjectures  |  Problems  |  Puzzles