Skip to content

Erdős problem 12

Let A⊂NA \subset \mathbb{N} be infinite with no distinct a,b,c∈Aa, b, c \in A such that a∣(b+c)a \mid (b + c) with b,c>ab, c > a. Can ∣A∩[1,N]∣/N|A \cap [1, N]|/\sqrt{N} have positive lower limit? Must every such AA fall below N1−cN^{1-c} infinitely often?

Sources

The source's own material, retained exactly.

10 retained statements36c6d0fef71a

Open selected source

FormalConjectures/ErdosProblems/

12.lean

Retained formal statement7 of 9

An example of an AA with the property that there are no distinct a,b,c∈Aa,b,c \in A such that a∣(b+c)a \mid (b+c) and b,c>ab,c > a and such that lim inf⁡∣A∩{1,…,N}∣N1/2log⁡N>0\liminf \frac{\lvert A\cap\{1,\ldots,N\}\rvert}{N^{1/2}}\log N > 0 is given by the set of p2p^2, where p≡3(mod4)p\equiv 3\pmod{4} is prime.

FormalConjectures/ErdosProblems/12.leanErdos12.erdos_12.variants.example3 linesExact file
∀ (A : Set ℕ),  A = {x | ∃ p, ∃ (_ : Nat.Prime p) (_ : p ≡ 3 [MOD 4]), p ^ 2 = x} →    Erdos12.IsGood A ∧ 0 < Filter.liminf (fun N => ↑(A ∩ Set.Icc 1 N).ncard * Real.log ↑N / √↑N) Filter.atTop
SolvedStatement only, no proof