Erdős problem 785
Let be infinite sets such that contains all large integers. Let and similarly for . Is it true that if then as ?
Sources
FormalConjectures/ErdosProblems/
785.lean
Retained formal statement
Ruzsa [Ru17] has constructed, for any function , such a pair of sets with for infinitely many .
∀ (w : ℕ → ℝ), Filter.Tendsto w Filter.atTop Filter.atTop → ∃ A B, A.Infinite ∧ B.Infinite ∧ Erdos785.IsExactAdditiveComplement A B ∧ ∃ᶠ (x : ℕ) in Filter.atTop, ↑(Erdos785.counting A x) * ↑(Erdos785.counting B x) - ↑x < w xSolvedStatement only, no proof