Wiki
Wiki

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

Updated


Claim. Let ρ(n)=max⁡∑1/ai\rho(n)=\max\sum1/a_i, the maximum taken over collections of integers 1<a1<⋯<ar1<a_1<\dots<a_r with [ai,aj]>n[a_i,a_j]>n for all 1≤i<j≤r1\le i<j\le r. Then lim sup⁡ρ(n)≤1.0170166\limsup\rho(n)\le1.0170166, improving the constant c=1.017262…c=1.017262\ldots of Schinzel and Szekeres's Theorem 2. The paper also observes that Erdős's conjecture ρ(n)→1\rho(n)\to1 would follow from a real function hh with h(x)=0h(x)=0 for x<1x<1, h(x)≥0h(x)\ge0 and S(x)=∑k≥1h(x/k)≥xS(x)=\sum_{k\ge1}h(x/k)\ge x for x>1x>1 and S(x)/x→1S(x)/x\to1, and constructs a function with weaker properties, from which the constant comes. Since 1.0170166<31/301.0170166<31/30 and the element 11 adds nothing to the question (a set containing 11 is {1}\{1\}, with sum 11), every admissible set has reciprocal sum below 31/3031/30 once nn is large, which answers the first question of Problem 542 yes for all sufficiently large nn. The theorem is stated as the zbMATH review of the paper by I. Z. Ruzsa (Zbl 0870.11013) gives it. The site's commentary states the result in the explicit form ∑1/a<1/3+1/4+1/5+1/7+1/11=1.017099…\sum1/a<1/3+1/4+1/5+1/7+1/11=1.017099\ldots for n>172509n>172509; that form is the site's and was not read in the paper. The thread's ρn<1.0170166\rho_n<1.0170166 for large nn agrees with the review. The source is Y.-G. Chen, On a problem of P. Erdős, Acta Sci. Math. (Szeged) 62 (1996), no. 1--2, 101--114.

Covers. The first question for all sufficiently large nn.

Acceptance. Refereed: Acta Scientiarum Mathematicarum (Szeged) is a refereed journal. The site's curator, Thomas Bloom, cites the result in the problem's commentary, which credits the solution of both questions to Schinzel and Szekeres. The record gives the year 1996 and no month or day, so the month and day in the page name are placeholders.

Depends on. No page of this wiki.