Erdős Problem #336 — For r≥2r\geq 2 let h(r)h(r) be the maximal finite kk such that there exists a basis A⊆NA\subseteq \mathbb{N} of order rr (so every large integer is the sum of at most rr integers from AA) and exact or…

About 46 years old · traced to

For r≥2r\geq 2 let h(r)h(r) be the maximal finite kk such that there exists a basis A⊆NA\subseteq \mathbb{N} of order rr (so every large integer is the sum of at most rr integers from AA) and exact order kk (so every large integer is the sum of exactly kk integers from AA). Find the value of lim⁡rh(r)r2.\lim_r \frac{h(r)}{r^2}.

References

Progress summary

Refreshed
Open

The limiting constant is still unknown: the best available results place it between one-third and one-half.

Erdős and Graham posed the question in 1980: determine whether the limit of h(r)/r2h(r)/r^2 exists and, if so, find its value. The problem remains unresolved.

Known results

  • Grekos, 1988: 13≤lim inf⁡r→∞h(r)/r2\frac{1}{3}\leq\liminf_{r\to\infty}h(r)/r^2.
  • Nash, 1993: lim sup⁡r→∞h(r)/r2≤12\limsup_{r\to\infty}h(r)/r^2\leq\frac{1}{2}.
  • Plagne, 2004: improved lower-order terms.
  • Exact values include h(2)=4h(2)=4, h(3)=7h(3)=7, and 10≤h(4)≤1110\leq h(4)\leq11; h(4)h(4) is unknown.

2009 related asymptotic analysis

A study of the closely related function X(h)X(h) established explicit quadratic upper and lower bounds and identified the asymptotic gap as a major open problem. It offers no resolution of Erdős Problem #336\#336 and records only a conjectural preference for the lower bound.

Current status (as of March 2026): the limit remains open, with 13≤lim inf⁡r→∞h(r)/r2≤lim sup⁡r→∞h(r)/r2≤12\frac{1}{3}\leq\liminf_{r\to\infty}h(r)/r^2\leq\limsup_{r\to\infty}h(r)/r^2\leq\frac{1}{2} and no public proof of existence or value.

Sources

Solutions 0

No solutions have been posted yet.