Let $A = {1 \leq a_{1} < a_{2} < \dots}$ and $B = {1 \leq b_{1} < b_{2} < \dots}$ be sets of integers with $a_{n} / b_{n} \to 1$ . If $A + B$ contains all sufficiently large positive integers then is it true that $lim sup 1_{A} * 1_{B} (n) = \infty$ ?

Worked, still open.

additive combinatorics · open · formalized (Lean) · 0 attempts

use this record

vela registry pull vfr_37aec80d874a0239

vela reproduce examples/erdos-problems

status

open