login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A156874 Number of Sophie Germain primes <= n. 12

%I #12 Jul 06 2015 23:29:33

%S 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,

%T 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,

%U 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

%N Number of Sophie Germain primes <= n.

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

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

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

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

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

%H R. Zumkeller, <a href="/A156874/b156874.txt">Table of n, a(n) for n = 1..10000</a>

%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/SophieGermainPrime.html">Sophie Germain prime</a>

%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Sophie_Germain_prime">Sophie Germain prime</a>

%F a(10^n)= A092816(n). - _Enrique Pérez Herrero_, Apr 26 2012

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

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

%Y A156875, A156876, A156877, A156878, A000720.

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

%Y Cf. A092816.

%K nonn

%O 1,3

%A _Reinhard Zumkeller_, Feb 18 2009

%E Edited and commented by _Daniel Forgues_, Jul 31 2009

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 24 20:08 EDT 2024. Contains 371963 sequences. (Running on oeis4.)