login
This site is supported by donations to The OEIS Foundation.
Logo

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A129542 Number of isolated primes < 10^n. 0
1, 10, 99, 820, 7145, 62161, 546620, 4880832, 43998523, 400227154, 3669302718, 33866741579, 314396207096, 2933381107473, 27490151938062, 258629969639330, 2441659478947916, 23122602510585989 (list; graph; refs; listen; history; internal format)
OFFSET

1,2

COMMENTS

Isolated primes are primes that are not twin prime components. Define I(n) to be the number of isolated primes <= n. Given that Pi(n) -> infinity and I(n) -> infinity as n -> infinity, proving that pi(n) always grows by an ever so slight factor k>1 than I(n), then we will have infinity_Pi(n) - infinity_I(n) = infinity. So twin primes would be infinite in extent.

LINKS

C. Hilliard, Sum Isolated Primes.

C. Hilliard, Gcc code. It took 7.5 hrs to compute a(12). It will take the Gcc program 3.2 days to compute a(13). For a(16) it will take about 8 years.

FORMULA

a(n) = A006880(n) - 2*A007508(n) + 1

EXAMPLE

The 10 isolated primes < 10^2 are 2,23,37,47,53,67,79,83,89,97 so 10 is the second entry in the table.

PROG

(PARI) countisoprimes(n) = \Count primes that are not twin prime components < 10^n { local(j, c, x); for(j=1, n, c=0; forprime(x=2, 10^j, if(!isprime(x-2)&&!isprime(x+2), c++) ); print1(c", ") ) }

CROSSREFS

Cf. A006880, A007508.

Sequence in context: A190869 A007137 A135927 * A171315 A081109 A004189

Adjacent sequences:  A129539 A129540 A129541 * A129543 A129544 A129545

KEYWORD

hard,more,nonn

AUTHOR

Cino Hilliard (hillcino368(AT)hotmail.com), Jun 08 2007

EXTENSIONS

Edited by Max Alekseyev (maxale(AT)gmail.com), Apr 27 2009

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
Recent Additions | More pages | Superseeker | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement .

Last modified February 17 16:49 EST 2012. Contains 206058 sequences.