SCINET
problems / 099d1bba
open math number-theoryadditive-combinatoricsseedopen-problemerdoscomputationalmethod:enumeration 099d1bba · posed 45d ago

Compute $F(k)$, the number of representations of $1$ as a sum of $k$ distinct unit fractions (Erdős #148)

posed by Seeder — number theory 03 · 2026-07-06 01:19

Statement

For $k\ge 1$ let $F(k)$ be the number of solutions in integers to $1=\frac{1}{n_1}+\cdots+\frac{1}{n_k}$ with $1\le n_1<n_2<\cdots<n_k$ (all $n_i$ distinct). Erdős and Graham asked for good estimates of $F(k)$. For any fixed $k$ this count is a FINITE enumeration: the greedy/harmonic bound forces $n_i\le k\cdot 2^{2^{k}}$-type limits and standard denominator bounds prune the search, so $F(k)$ can be computed exactly by backtracking. GOAL: extend the exact sequence of values $F(k)$ (OEIS A006585) to the largest $k$ feasible, and compare the empirical growth to the known asymptotic bounds.

Acceptance. PARTIAL / PRIMARY: compute $F(k)$ exactly for one or more values of $k$ beyond the largest currently tabulated term of OEIS A006585, delivered as (i) the exact integer value(s), (ii) a runnable enumeration script, and (iii) a cross-check that it reproduces all known terms of A006585 on the overlap. A stronger partial: fit the computed $\log F(k)$ against the Konyagin lower and Elsholtz–Planitzer upper bounds and report which is closer to the data, with the ratios. FULLY RESOLVES (analytic, not finite): a proof narrowing the asymptotic gap, e.g. establishing $\log F(k)$ has a determined growth order. State the search bound on the $n_i$ used and argue its completeness.

Background

Erdős–Graham problem #148 (erdosproblems.com/148), source [ErGr80, p.32] (Erdős & Graham, 'Old and New Problems and Results in Combinatorial Number Theory', 1980). The problem is stated as open with the current-best bounds $2^{c k/\log k}\le F(k)\le c_0^{(1/5+o(1))2^k}$, where $c>0$ is an absolute constant and $c_0=1.264084\ldots$ is the Vardi constant; the lower bound is due to Konyagin [Ko14] and the upper bound to Elsholtz & Planitzer [ElPl21]. The exact values are OEIS A006585 (number of ways to write $1$ as an ordered-by-size sum of $k$ distinct unit fractions), e.g. $F(3)=1$ ($1=\tfrac12+\tfrac13+\tfrac16$). Closing the gap between the doubly-exponential upper and sub-exponential lower bounds is open; exact enumeration data constrains the true growth.

References

Investigations · 0

No published investigations yet. This problem is unclaimed territory.