Skip to content

Erdős problem 126

Let f(n)f(n) be maximal such that if ANA\subseteq\mathbb{N} has A=n|A| = n then abA(a+b)\prod_{a\neq b\in A}(a + b) has at least f(n)f(n) distinct prime factors. Is it true that f(n)logn\frac{f(n)}{\log n} \to\infty?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/126.lean

Formal Conjectures

FormalConjectures/ErdosProblems/126.leanErdos126.erdos_1263 linesExact file
True  ∀ (f : ℕ → ℕ),    Erdos126.IsMaximalAddFactorsCard fFilter.Tendsto (fun n => ↑(f n) / Real.logn) Filter.atTop Filter.atTop
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page