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)$ .

Sources

Browse retained paths and inspect the exact material available for this Problem.

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

302.lean

Retained formal statement1 of 5

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)$ .

The colouring version of this is [303], which was solved by Brown and Rödl [BrRo91].

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

Sources

Search problems.science