OFFSET
1,1
COMMENTS
If A(x) is the counting function of a(n) not exceeding x, then, in view of the symmetry, it is natural to conjecture that A(x)~pi(x)/2.
EXAMPLE
Let p=13. Then we have 5<13/2<7. Since 13>5+7, then 13 is in the sequence.
MATHEMATICA
Reap[Do[p=Prime[n]; k=PrimePi[p/2]; If[p>=Prime[k]+Prime[k+1], Sow[p]], {n, 3, PrimePi[1000]}]][[2, 1]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Vladimir Shevelev, Oct 17 2009
STATUS
approved