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

617 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
Source labels openErdős Problems · Number theory

Erdős Problem 456: Ii

Does pn/mnp_n/m_n \to \infty for almost all nn?

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

Erdős Problem 456: Iii

Are there infinitely many primes pp such that p1p-1 is the only nn for which mn=pm_n=p?

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

Erdős Problem 457: Qnk

More generally, let q(n,k)q(n, k) denote the least prime which does not divide 1ik(n+i)\prod_{1 \le i \le k}(n + i). This problem asks whether q(n,logn)(2+ϵ)lognq(n, \log n) \ge (2 + \epsilon) \log n infinitely often.

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

Erdős Problem 457: One Sub

Taking nn to be the product of primes between logn\log n and (2+o(1))logn(2 + o(1)) \log n gives an example where

q(n,logn)(2+o(1))logn. q(n, \log n) \ge (2 + o(1)) \log n.

Can one prove that q(n,logn)<(1ϵ)(logn)2q(n, \log n) < (1 - \epsilon) (\log n)^2 for all large nn and some ϵ>0\epsilon > 0?

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

Erdős Problem 458

Let lcm(1,,n)\operatorname{lcm}(1, \dots, n) denote the least common multiple of {1,,n}\{1, \dots, n\}. Let pkp_k be the kk-th prime. Is it true that for all k1k \geq 1, lcm(1,,pk+11)<pklcm(1,,pk)\operatorname{lcm}(1, \dots, p_{k+1}-1) < p_k \cdot \operatorname{lcm}(1, \dots, p_k)?

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

Erdős Problem 463

Is there a function ff with f(n)f(n)\to\infty as nn\to\infty such that, for all large nn, there is a composite number mm such that

n+f(n)<m<n+p(m)n + f(n) < m < n + p(m)

Here 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 469

Let AA be the set of all nn such that n=d1++dkn = d_1 + ⋯ + d_k with did_i distinct proper divisors of nn, but this is not true for any mnm ∣ n with m<nm < n. Does:

nA1n \sum_{n ∈ A} \frac 1 n

converge?

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

Erdős Problem 470: I

Are there any odd weird numbers?

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

Erdős Problem 470: Ii

Are there infinitely many primitive weird numbers?

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

Erdős Problem 479

Is it true that, for all k1k\neq 1, there are infinitely many nn such that 2nk(modn)2^n\equiv k\pmod{n}?

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

Erdős Problem 486

For each nNn \in \mathbb{N} choose some XnZ/nZX_n \subseteq \mathbb{Z}/n\mathbb{Z}. Let B={mN:n,m≢x(modn) for all xXn}B = \{m \in \mathbb{N} : \forall n, m \not\equiv x \pmod{n} \text{ for all } x \in X_n\}. Must BB have a logarithmic density?

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

Erdős Problem 489

Let ANA\subseteq \mathbb{N} be a set such that A[1,x]=o(x1/2)\lvert A\cap [1,x]\rvert=o(x^{1/2}). Let B={n1:an for all aA}B=\{ n\geq 1 : a\nmid n\textrm{ for all }a\in A\}. If B={b1<b2<}B=\{b_1 < b_2 < \cdots\} then is it true that limx1xbi<x(bi+1bi)2\lim_{x \to \infty} \frac{1}{x}\sum_{b_i < x}(b_{i+1}-b_i)^2 exists (and is finite)?

For example, when A={p2:p prime}A=\{p^2: p\textrm{ prime}\} then BB is the set of squarefree numbers, and the existence of this limit was proved by Erdős.

See also [208].

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

Erdős Problem 495

Let α,βR\alpha,\beta \in \mathbb{R}. Is it true thatlim infnnnαnβ=0\liminf_{n\to \infty} n \| n\alpha \| \| n\beta\| =0? This is also known as the Littlewood conjecture.

Source checked Jul 26, 20261 pinned Lean statementInspect problem
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