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.
1 topic

624 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 390

Does there exists a constant c such that f n - 2 * n ~ c * (n / log n)?

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

Erdős Problem 394: I

Is it true that nxt2(n)x2(logx)c\sum_{n\leq x}t_2(n)\ll \frac{x^2}{(\log x)^c} for some c>0c>0?

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

Erdős Problem 394: Ii

Is it true that, for k2k\geq 2, nxtk+1(n)=o(nxtk(n))?\sum_{n\leq x}t_{k+1}(n) =o\left(\sum_{n\leq x}t_k(n)\right)?

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

Erdős Problem 394: Hall Conjecture

Erdős and Hall conjecture that the sum is o(x2/(logx)c)o(x^2/(\log x)^c) for any c<log2c<\log 2.

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

Erdős Problem 394: Factorial Gap Conjecture

They ask about the behaviour of tn3(n!)t_{n-3}(n!) and also ask whether, for infinitely many nn, tk(n!)<tk1(n!)1t_k(n!)< t_{k-1}(n!)-1 for all 1k<n1\leq k < n.

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

Erdős Problem 396

Is it true that for every kk there exists nn such that 0ik(ni)(2nn)?\prod_{0\leq i\leq k}(n-i) \mid \binom{2n}{n}?

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

Erdős Problem 398

Brocard's Problem* Does n!+1=m2n! + 1 = m^2 have integer solutions other than n=4,5,7n = 4, 5, 7?

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

Erdős Problem 40

For what functions g(N)g(N) → \infty is it true that A{1,,N}N1/2g(N)\lvert A\cap \{1,\ldots,N\}\rvert \gg \frac{N^{1/2}}{g(N)} implies lim sup1A1A(n)=\limsup 1_A\ast 1_A(n)=\infty?

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

Erdős Problem 400: I

Can one show that nxgk(n)ckxlogx\sum_{n\leq x}g_k(n) \sim c_k x\log x for some constant ckc_k?

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

Erdős Problem 400: Ii

Is it true that there is a constant ckc_k such that for almost all n<xn < x we have gk(n)=cklogx+o(logx)g_k(n)=c_k\log x+o(\log x)?

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

Erdős Problem 406

Is it true that there are only finitely many powers of 22 which have only the digits 00 and 11 when written in base 33?

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

Erdős Problem 406: One Two

If we only allow the digits 11 and 22 then 2152^{15} seems to be the largest such power of 22.

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

Erdős Problem 409: I

How many iterations of nϕ(n)+1n\mapsto\phi(n) + 1 are needed before a prime is reached?

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

Erdős Problem 409: Is Theta

Let c(n)c(n) be the minimum number of iterations of nϕ(n)+1n\mapsto\phi(n) + 1 before a prime is reached. What is Θ(c(n))\Theta(c(n))?

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

Erdős Problem 409: Is Big O

Let c(n)c(n) be the minimum number of iterations of nϕ(n)+1n\mapsto\phi(n) + 1 before a prime is reached. Find the simplest function g(n)g(n) such that c(n)=O(g(n))c(n) = O(g(n))?

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

Erdős Problem 409: Is Little O

Let c(n)c(n) be the minimum number of iterations of nϕ(n)+1n\mapsto\phi(n) + 1 before a prime is reached. Find the simplest function g(n)g(n) such that c(n)=o(g(n))c(n) = o(g(n))?

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

Erdős Problem 409: Ii

Can infinitely many nn reach the same prime under the iteration nϕ(n)+1n\mapsto\phi(n) + 1?

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

Erdős Problem 409: Iii

What is the density of nn which reach any fixed prime under the iteration nϕ(n)+1n\mapsto\phi(n) + 1?

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

Erdős Problem 409: Sigma

How many iterations of nσ(n)1n\mapsto\sigma(n) - 1 are needed before a prime is reached?

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

Erdős Problem 409: Sigma Termination

If n>1n > 1 then the iteration nσ(n)1n\mapsto\sigma(n) - 1 necessarily reaches a prime. Note: this is open , it is not clear that the σ iteration always terminates, since it is non-decreasing (unlike the φ iteration which is strictly decreasing).

Source checked Jul 26, 20261 pinned Lean statementInspect problem