Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Statement

Conjecture (p. 90), stated after (7):

∑p≤n∗ 1p=(12+o(1))log⁡log⁡n,{\sum_{p\le n}}^{*}\,\frac1p=\Bigl(\frac12+o(1)\Bigr)\log\log n ,

"where the ∗^* indicates that the summation is extended over all primes pp such that n=kp+rn=kp+r, where p/2<r<pp/2<r<p and kk is integral" (p. 90). In other words, the sum runs over the primes p≤np\le n whose least nonnegative residue of nn lies strictly between p/2p/2 and pp.

The paper proves nothing about this sum.

Source. P. Erdős, R. L. Graham, I. Z. Ruzsa and E. G. Straus, On the prime factors of (2nn)\binom{2n}{n}, Math. Comp. 29 (1975), no. 129, 83--92; the unnumbered conjecture on p. 90. The edition is identified on the source card.

Read depth. Claims checked: the conjecture and its definition of the starred sum were read clause by clause on the page image. A conjecture has no proof to check.

Proof pointer

None; a conjecture.

Dependencies

None.

Bears on

  • Problem 726: this is the problem's asymptotic as posed, the sum of 1/p1/p over primes p≤np\le n with n mod p∈(p/2,p)n\bmod p\in(p/2,p) being asymptotic to 12log⁡log⁡n\frac12\log\log n. The paper records no result on it.