Wiki
Wiki

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

Updated

Problem 1145

../


Statement. Let A={1≤a1<a2<⋯ }A=\{1\leq a_1<a_2<\cdots\} and B={1≤b1<b2<⋯ }B=\{1\leq b_1<b_2<\cdots\} be sets of integers with an/bn→1a_n/b_n\to 1.

If A+BA+B contains all sufficiently large positive integers then is it true that lim sup⁡1A∗1B(n)=∞\limsup 1_A\ast 1_B(n)=\infty?

Formulation. The site's wording as accessed. On this page 1A∗1B(n)1_A\ast 1_B(n) is read as the number of ordered pairs (a,b)∈A×B(a,b)\in A\times B with a+b=na+b=n, so the question asks whether, once every sufficiently large positive integer has such a representation, the representation count is unbounded; this reading is made here, not on the site.

Status. Open.

Source. erdosproblems.com/1145, accessed 2026-09-04. Cite as: T. F. Bloom, Erdős Problem #1145, https://www.erdosproblems.com/1145.

Formalization. Statement in formal-conjectures.

Current assessment

No current assessment is recorded. The status above is imported from the dated site record. This page records no current literature search or independent assessment of proof coverage.

Linked library material

These entries are derived from explicit links on library pages. They are navigation only and do not by themselves record mathematical progress.