Skip to content

Erdős problem 13

If A{1,...,N}A \subseteq \{1, ..., N\} is a set with no a,b,cAa, b, c \in A such that a(b+c)a | (b+c) and a<min(b,c)a < \min(b,c), then AN/3+O(1)|A| \le N/3 + O(1). This has been solved by Bedert [Be23].

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/13.lean

Formal Conjectures

FormalConjectures/ErdosProblems/13.leanErdos13.erdos_131 lineExact file
C, ∀ (N : ℕ), ∀ AFinset.Icc 1 N, Erdos13.IsForbiddenTripleFree A → ↑A.card ≤ ↑N / 3 + C
SolvedStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page