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

 

Logo

Please make a donation to keep the OEIS running. We are now in our 55th year. In the past year we added 12000 new sequences and reached 8000 citations (which often say "discovered thanks to the OEIS"). We need to raise money to hire someone to manage submissions, which would reduce the load on our editors and speed up editing.
Other ways to donate

Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A156874 Number of Sophie Germain primes <= n. 12
0, 1, 2, 2, 3, 3, 3, 3, 3, 3, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 4, 5, 5, 5, 5, 5, 5, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 8, 9, 9, 9, 9, 9, 9, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10, 10 (list; graph; refs; listen; history; text; internal format)
OFFSET

1,3

COMMENTS

a(n) = Sum_{k=1..n} A156660(k).

a(n) = A156875(2*n+1).

Hardy-Littlewood conjecture: a(n) ~ 2*C2*n/(log(n))^2, where C2=0.6601618158... is the twin prime constant (see A005597).

The truth of the above conjecture would imply that there exists an infinity of Sophie Germain primes (which is also conjectured).

a(n) ~ 2*C2*n/(log(n))^2 is also conjectured by Hardy-Littlewood for the number of twin primes <= n.

LINKS

R. Zumkeller, Table of n, a(n) for n = 1..10000

Eric Weisstein's World of Mathematics, Sophie Germain prime

Wikipedia, Sophie Germain prime

FORMULA

a(10^n)= A092816(n). - Enrique Pérez Herrero, Apr 26 2012

EXAMPLE

a(120) = #{2, 3, 5, 11, 23, 29, 41, 53, 83, 89, 113} = 11.

MATHEMATICA

Accumulate[Table[Boole[PrimeQ[n]&&PrimeQ[2n+1]], {n, 1, 200}]] (* Enrique Pérez Herrero, Apr 26 2012 *)

CROSSREFS

A156875, A156876, A156877, A156878, A000720.

Cf. A005384 Sophie Germain primes p: 2p+1 is also prime.

Cf. A092816.

Sequence in context: A071578 A157791 A236857 * A294234 A078767 A093125

Adjacent sequences:  A156871 A156872 A156873 * A156875 A156876 A156877

KEYWORD

nonn

AUTHOR

Reinhard Zumkeller, Feb 18 2009

EXTENSIONS

Edited and commented by Daniel Forgues, Jul 31 2009

STATUS

approved

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified December 11 07:29 EST 2019. Contains 329914 sequences. (Running on oeis4.)