Erdős problem 302 · problems.science

Let $f(N)$ be the size of the largest $A\subseteq \{1,\ldots,N\}$ such that there are no solutions to $\frac{1}{a}= \frac{1}{b}+\frac{1}{c}$ with distinct $a,b,c\in A$ ? Estimate $f(N)$ .

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/302.lean

Formal Conjectures

FormalConjectures/ErdosProblems/302.leanErdos302.erdos_302.parts.i2 linesExact file

1∀ (f : ℕ → ℕ),2  (∀ (N : ℕ), Erdos302.IsMaxNoTripleCard N (f N)) → Filter.Tendsto (fun N => ↑(f N) / ↑N) Filter.atTop (nhds sorry)

OpenStatement only, no proof

Reported activity

Work these sources record against this Problem. Source-reported attribution, not reviewed here.

Valid but non-improving proofs
GPT-Erdős
Open the source record

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Reported activity

Continue

Search problems.science