OFFSET
1,1
COMMENTS
Theorem. p_n - 2*sqrt(2p_n) + 2<a(n) <= p_n. Corollary. a(n)~n*log(n). Conjecture. a(n) is the nearest prime p >= A145236(n).
Or a(n) is the least prime q_n <= p_n such that sqrt(p_n) - sqrt(q_n) < sqrt(2) [or (p_n + q_n)/2 < sqrt(p_n*q_n) + 1]. See also our comment to A145300. - Vladimir Shevelev, Oct 09 2008
The above conjecture is true. This means that a(n) is the nearest prime p > p_n - 2*floor(sqrt(2*p_n)) + 2. A considerably more important and deep question is whether p < p_n. The answer does not follow even from the Riemann conjecture about zeros of the zeta function. - Vladimir Shevelev, Oct 17 2008
PROG
(PARI) a(n) = {my(p = prime(n)); my(q = 2); while (! issquare(ceil(sqrt(q*p))^2 - q*p), q = nextprime(q+1)); q; } \\ Michel Marcus, Jul 06 2015
CROSSREFS
KEYWORD
nonn
AUTHOR
Vladimir Shevelev, Oct 06 2008, Oct 07 2008
EXTENSIONS
More terms from Michel Marcus, Jul 06 2015
STATUS
approved