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!)
A347311 a(n) is the smallest prime q such that Sum_{primes p <= q} log(p)/p >= n. 1
5, 19, 67, 191, 541, 1487, 4079, 11173, 30559, 83137, 226427, 615919, 1675771, 4556771, 12387481, 33677717, 91558231, 248887319, 676566619, 1839125531, 4999337929, 13589640521, 36940536917 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,1
COMMENTS
Suggested by Mertens's theorem that Sum_{p <= x} log(p)/p = log(x) + O(1).
By Mertens's first theorem we have a(n) = exp(n + B3 + o(1)) = e^n * e^B3 * (1 + o(1)) = (3.79081970129... + o(1)) * e^n, where the constant B3 is exp(A083343). Empirically, based on the first 23 terms, it seems plausible that a(n) ~ e^(n + B3) + c*e^(n/2) where c is very roughly -2. - Jon E. Schoenfield, Sep 06 2021 [edited Sep 19 2021, with thanks to Charles R Greathouse IV for his expertise]
REFERENCES
Tenenbaum, G. (2015). Introduction to analytic and probabilistic number theory, 3rd ed., American Mathematical Soc. See page 16.
LINKS
Wikipedia, Mertens's Theorems.
FORMULA
a(n) = prime(A347310(n)). - Michel Marcus, Sep 06 2021
EXAMPLE
a(1) = 5 because log(2)/2 + log(3)/3 + log(5)/5 = 1.034665268989... is the first time the sum is >= 1.
MATHEMATICA
Table[i=1; d=Log@Prime@i/Prime@i; While[d<n, i++; d=d+Log@Prime@i/Prime@i]; Prime@i, {n, 8}] (* Giorgos Kalogeropoulos, Sep 08 2021 *)
PROG
(PARI) a(n) = my(k=0, s=0, p=2); while (s < n, s += log(p)/p; k++; p = nextprime(p+1)); prime(k); \\ Michel Marcus, Sep 06 2021
CROSSREFS
Sequence in context: A005021 A067325 A273599 * A121525 A163872 A035344
KEYWORD
nonn,more
AUTHOR
N. J. A. Sloane, Sep 06 2021
EXTENSIONS
a(8)-a(16) from Michel Marcus, Sep 06 2021
a(17)-a(23) from Jon E. Schoenfield, Sep 06 2021
STATUS
approved

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 23 09:22 EDT 2024. Contains 371905 sequences. (Running on oeis4.)