Erdős–Straus Conjecture

OPENMajorConjectureProposed 1948 · Full conjecture

Canonical statement

For every integer n2n\ge2, there exist positive integers x,y,zx,y,z such that
4n=1x+1y+1z. \frac4n=\frac1x+\frac1y+\frac1z .
View source LaTeX
For every integer \(n\ge2\), there exist positive integers \(x,y,z\) such that
\[
  \frac4n=\frac1x+\frac1y+\frac1z .
\]

The conjecture asks whether 4/n4/n is always a sum of three unit fractions: for every integer n2n\ge2 there should be positive integers x,y,zx,y,z with 4/n=1/x+1/y+1/z4/n=1/x+1/y+1/z. Erdős raised the question in 1948 in correspondence with Straus, and it entered the literature through the standard collections of unsolved problems in number theory [ErdosStraus1948].

Since a representation for nn yields one for every multiple of nn, it suffices to treat prime nn. Explicit congruence identities settle all nn outside a few thin residue classes, and computer searches have verified the conjecture over enormous ranges. Vaughan showed that the potential exceptions form a set of density zero in a strong quantitative sense [Vaughan1970ErdosStraus], and Elsholtz and Tao studied the finer question of how many representations a typical prime nn admits [ElsholtzTao2013].

The structural obstacle is that no finite collection of such identities covers every integer, so the congruence approach cannot by itself close the remaining residue classes. The conjecture remains open; a resolution requires either an argument going beyond covering congruences or a counterexample.

The boxed statement is the canonical open formulation — not a stronger variant or a related research program. The status reflects the catalog's last review; do your own literature search before investing serious effort.