Dual View Random Solved Random Open
OPEN This is open, and cannot be resolved with a finite computation.
Let $A\subseteq \mathbb{N}$ be a complete sequence, and define the threshold of completeness $T(A)$ to be the least integer $m$ such that all $n\geq m$ are in\[P(A) = \left\{\sum_{n\in B}n : B\subseteq A\textrm{ finite }\right\}\](the existence of $T(A)$ is guaranteed by completeness).

Is it true that there are infinitely many $k$ such that $T(n^k)>T(n^{k+1})$?
Erdős and Graham [ErGr80] remark that very little is known about $T(A)$ in general. It is known that\[T(n)=1, T(n^2)=128, T(n^3)=12758,\]\[T(n^4)=5134240,\textrm{ and }T(n^5)=67898771.\]Erdős and Graham remark that a good candidate for the $n$ in the question are $k=2^t$ for large $t$, perhaps even $t=3$, because of the highly restricted values of $n^{2^t}$ modulo $2^{t+1}$.
Proof expositions (0)
If you would like to contribute an exposition of a proof related to this problem, please message a moderator or leave your exposition as a comment.

No proof expositions yet.
Comments (4) Proof claims (0)
More information and links
This page was last edited 28 December 2025. (View history) (View the LaTeX source)

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 #345, https://www.erdosproblems.com/345, accessed 2026-09-01

From the external database. (You can help update this.)
Formalised statement? No (create one)
OEIS A001661
Reactions
Likes None
Open to collaboration None
Currently working on None
Looks difficult Dogmachine
Looks tractable None
Could be formalisable None
Working on formalising None