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 50

Let ff be the asymptotic distribution function of φ(n)/n\varphi(n)/n, so that for each c[0,1]c \in [0,1], f(c)f(c) is the natural density of {n:φ(n)<cn}\{n : \varphi(n) < cn\}. Is it true that there is no xx such that the derivative f(x)f'(x) exists and is positive?

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

Erdős Problem 51

Is there an infinite set ANA \subset \mathbb{N} such that for every aAa \in A, there is an integer n such that ϕ(n)=a\phi(n)=a, and yet if nan_a is the smallest such integer, then naa\frac{n_a}{a} → \infty as aa → ∞?

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

Erdős Problem 510

Chowla's cosine problem*

If ANA\subset \mathbb{N} is a finite set of positive integers of size N>0N > 0 then is there some absolute constant c>0c>0 and θ\theta such that nAcos(nθ)<cN1/2?\sum_{n\in A}\cos(n\theta) < -cN^{1/2}?

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

Erdős Problem 52

Let AA be a finite set of integers. Is it true that for every ϵ>0\epsilon>0 max(A+A,AA)ϵA2ϵ?\max( \lvert A+A\rvert,\lvert AA\rvert)\gg_\epsilon \lvert A\rvert^{2-\epsilon}?

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

Erdős Problem 520

Let ff be a Rademacher multiplicative function. Does there exist some constant c>0c > 0 such that, almost surely,

lim supNmNf(m)NloglogN=c? \limsup_{N \to \infty} \frac{\sum_{m \leq N} f(m)}{\sqrt{N \log \log N}} = c?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 536

Let ϵ>0\epsilon>0 and NN be sufficiently large. Is it true that if A{1,,N}A\subseteq \{1,\ldots,N\} has size at least ϵN\epsilon N then there must be distinct a,b,cAa,b,c\in A such that [a,b]=[b,c]=[a,c],[a, b]=[b, c]=[a, c], where [,][\cdot, \cdot] denotes the least common multiple?

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

Erdős Problem 647

Let τ(n)\tau(n) count the number of divisors of nn. Is there some n>24n > 24 such that

maxm<n(m+τ(m))n+2? \max_{m < n}(m + \tau(m)) \leq n + 2?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 647: Lim

Erdős says 'it is extremely doubtful' that there are infinitely many such nn, and in fact suggests that

limnmaxm<n(τ(m)+mn)=. lim_{n\to\infty} \max_{m < n}(\tau(m) + m − n) = \infty.
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 647: Infinite

Erdős says it 'seems certain' that for every kk there are infinitely many nn for which

maxnk<m<n(m+τ(m))n+2. \max_{n−k < m < n}(m + \tau(m)) ≤ n + 2.
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 66

Is there and ANA \subset \mathbb{N} is such that limn1A1A(n)logn\lim_{n\to \infty}\frac{1_A\ast 1_A(n)}{\log n} exists and is 0\ne 0?

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

Erdős Problem 672

Can the product of an arithmetic progression of positive integers n,n+d,...,n+(k1)dn, n + d, ..., n + (k - 1)d of length ≥ 4, with (n,d)=1(n, d) = 1, be a perfect power?

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

Erdős Problem 677

Denote by M(n,k)M(n, k) the least common multiple of the finite set {n+1,,n+k}\{n+1, \dotsc, n+k\}. Is it true that for all mn+km \geq n + k, we get M(m,k)M(n,k)M(m, k) \neq M(n, k)?

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

Erdős Problem 68

Is n=21n!1\sum_{n=2}^\infty \frac{1}{n!-1} irrational?

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

Erdős Problem 680: I

Is it true that, for all sufficiently large nn, there exists some kk such that

p(n+k)>k2+1,p(n+k)>k^2+1,

where p(m)p(m) denotes the least prime factor of mm?

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

Erdős Problem 680: Ii

Can one prove this is false if we replace k2+1k^2+1 by e(1+ϵ)k+Cϵe^{(1+\epsilon)\sqrt{k}}+C_\epsilon, for all ϵ>0\epsilon>0, where Cϵ>0C_\epsilon>0 is some constant?

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

Erdős Problem 681

Erdős problem 681.* Is it true that for all large nn there exists kk such that n+kn + k is composite and p(n+k)>k2p(n+k) > k^2, where p(m)p(m) is the least prime factor of mm ?

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

Erdős Problem 683

There exists c>0c > 0 such that P(n,k)>min{nk+1,k1+c}P(n, k) > \min\{n-k+1, k^{1 + c}\} for all 0<k<n0 < k < n.}

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

Erdős Problem 683: Exp Sqrt

Standard heuristics suggest that P(n,k)>eckP(n, k) > e^{c\sqrt{k}} for some constant c>0c > 0.

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

Erdős Problem 686

Can every integer N2N≥2 be written as N=1ik(m+i)1ik(n+i)N=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

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

Erdős Problem 686: Square

Can every square N2N≥2 be written as N=1ik(m+i)1ik(n+i)N=\frac{\prod_{1\leq i\leq k}(m+i)}{\prod_{1\leq i\leq k}(n+i)} for some k2k≥2 and mn+km≥n+k?

Source checked Jul 26, 20261 pinned Lean statementInspect problem