Conjecture (A. Granville, H. te Riele and J. van de Lune, 1989): Let, for even N, p=p(N) be the least prime such that N-p is prime as well. Then p(N)=O((log(N))^2log(log(N))). - Vladimir Shevelev, Dec 08 2008
It is conjectured that a(n) >= prime(k+1) + 3. See Conjecture C p. 2 in Phong & Dongdong. - Michel Marcus, Aug 02 2017