Skip to content

Erdős problem 402

Start work

Prove that, for any finite set A⊂NA\subset\mathbb{N}, there exist a,b∈Aa, b\in A such that gcd⁡(a,b)≤a/∣A∣. \gcd(a, b)\leq a/|A|.

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

Retained declaration

FormalConjectures/ErdosProblems/402.lean

Formal Conjectures

FormalConjectures/ErdosProblems/402.leanErdos402.erdos_4021 lineExact file
∀ (A : Finset ℕ), 0 ∉ A → A.Nonempty → ∃ a ∈ A, ∃ b ∈ A, ↑(a.gcd b) ≤ ↑a / ↑A.card
SolvedStatement only, no proof

Continue

Start a contributionBrowse the source filesOpen the collection entry