Skip to content

Erdős problem 1145

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.

Sources

The source's own material, retained exactly.

2 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

1145.lean

Retained formal statement1 of 2

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?

A conjecture of Erdős and Sárközy.

FormalConjectures/ErdosProblems/1145.leanErdos1145.erdos_11451 lineExact file
True ↔ Erdos1145.Erdos1145Prop
OpenStatement only, no proof