Logo

Greetings from The On-Line Encyclopedia of Integer Sequences!

Hints

Search: id:A129542
Displaying 1-1 of 1 results found. page 1
     Format: long | short | internal | text      Sort: relevance | references | number      Highlight: on | off
A129542 Number of isolated primes < 10^n. +0
1
1, 10, 99, 820, 7145, 62161, 546620, 4880832, 43998523, 400227154, 3669302718, 33866741579, 314396207096, 2933381107473, 27490151938062, 258629969639330, 2441659478947916, 23122602510585989 (list; graph; listen)
OFFSET

1,2

COMMENT

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.

PROGRAM

(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: A163446 A007137 A135927 this_sequence A081109 A004189 A105694

Adjacent sequences: A129539 A129540 A129541 this_sequence 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

page 1

Search completed in 0.002 seconds

Lookup | Welcome | Find friends | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Transforms | Puzzles | Hot | Classics
More pages | Superseeker | Maintained by N. J. A. Sloane (njas@research.att.com)

Last modified November 27 14:50 EST 2009. Contains 167570 sequences.


AT&T Labs Research