OPEN
This is open, and cannot be resolved with a finite computation.
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)$. In particular, is $f(N)=(\tfrac{1}{2}+o(1))N$?
The colouring version of this is
[303], which was solved by Brown and Rödl
[BrRo91]. One can take either $A$ to be all odd integers in $[1,N]$ or all integers in $[N/2,N]$ to show $f(N)\geq (1/2+o(1))N$.
Wouter van Doorn has proved (see
this note) that\[f(N) \leq (9/10+o(1))N.\]Stijn Cambie has observed that\[f(N)\geq (5/8+o(1))N,\]taking $A$ to be all odd integers $\leq N/4$ and all integers in $[N/2,N]$.
Stijn Cambie has also observed that, if we allow $b=c$, then there is a solution to this equation when $\lvert A\rvert \geq (\tfrac{2}{3}+o(1))N$, since then there must exist some $n,2n\in A$.
See also
[301] and
[327].
View the LaTeX source
Additional thanks to: Stijn Cambie, Zachary Hunter, Mehtaab Sawhney, and Wouter van Doorn
When referring to this problem, please use the original sources of Erdős. If you wish to acknowledge this website, the recommended citation format is:
T. F. Bloom, Erdős Problem #302, https://www.erdosproblems.com/302, accessed 2026-01-16