Questions, not proof records

Open-problem statements, with their sources attached.

Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.

“Open” is a dated source assertion. In these pinned sources, sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.
All topics

601 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 357: Infinite Set Sum

Suppose AA is an infinite set such that all finite sums of consecutive terms of AA are distinct. Then it is conjectured that the sum k1ak\sum_k \frac{1}{a_k} converges.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Hegyvari

Let g(n)g(n) be the maximal kk such that there exist integers 1a1,,akn1 \le a_1, \dotsc, a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. It is known that (13+o(1))ng(n)(23+o(1))n.\left(\frac 1 3 + o(1) \right)n \leq g(n) \leq \left(\frac 2 3 + o(1) \right)n.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: I

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. Is h(n)=o(n)h(n)=o(n)?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big O Version

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that g=O(h)g = O(h) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big O Version Symm

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that h=O(g)h = O(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Big Theta Version

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that h=Θ(g)h = \Theta(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Little O Version

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that g=o(h)g = o(h) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 357: Little O Version Symm

Let h(n)h(n) be the maximal kk such that there exist integers 1a1akn1 \le a_1 \leq \dotsc \leq a_k \le n such that all sums of the shape uivai\sum_{u \le i \le v} a_i are distinct. How does h(n)h(n) grow? Can we find a (good) explicit function gg such that h=o(g)h = o(g) ?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 359: I

Let a1<a2<a_1< a_2 < ⋯ be an infinite sequence of integers such that a1=1a_1=1 and ai+1a_{i+1} is the least integer which is not a sum of consecutive earlier aja_js. Show that ak/ka_k / k \to \infty.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 359: Ii

Let a1<a2<a_1< a_2 < ⋯ be an infinite sequence of integers such that a1=1a_1=1 and ai+1a_{i+1} is the least integer which is not a sum of consecutive earlier aja_js. Show that ak/k1+c0a_k / k ^ {1 + c} \to 0 for any c>0c > 0.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 359: Is Good For 1 Asymptotic

Suppose monotone sequence AA satisfies the following: A 0 = 1 and for all j, A (j + 1) is the smallest natural number that cannot be written as a sum of consecutive terms of A 0, ..., A j. Then it is conjectured that ak klogkloglogka_k ~ \frac{k \log k}{\log \log k}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 361: Big O

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 361: Big Theta

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 361: Small O

Let c>0c > 0 and nn be some large integer. What is the size of the largest set A{1,,cn}A \subseteq \{1, \ldots, \lfloor c n \rfloor\} such that nn is not a sum of a subset of AA? Does this depend on nn in an irregular way?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 364

There is no consecutive triple of powerful numbers.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 364: Strong

Erdős [Er76d] conjectured a stronger statement: if nkn_k is the kkth powerful number, then nk+2nk>nkcn_{k+2} - n_k > n_k^c for some constant c>0c > 0.

[Er76d] Erdős, P., Problems and results on number theoretic properties of consecutive integers and related questions. Proceedings of the Fifth Manitoba Conference on Numerical Mathematics (Univ. Manitoba, Winnipeg, Man., 1975) (1976), 25-44.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 366

Are there any 22-full nn such that n+1n+1 is 33-full?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 366: Three Two

Are there infinitely many 3-full nn such that n+1n+1 is 2-full?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 366: Weaker

Are there any consecutive pairs of 33-full integers?

Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 371

Let P(n)P(n) denote the largest prime factor of nn. Show that the set of nn with P(n+1)>P(n)P(n+1) > P(n) has density 12\frac{1}{2}.

Source checked Jul 26, 20261 pinned Lean statementInspect problem