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 873

Let A={a1<a2<}NA = \{a_1 < a_2 < \dots\} \subseteq \mathbb{N} and let F(A,X,k)F(A,X,k) count the number of ii such that [ai,ai+1,,ai+k1]<X[a_i,a_{i+1}, \dots ,a_{i+k−1}] < X, where the left-hand side is the least common multiple. Is it true that, for every ϵ>0\epsilon > 0, there exists some kk such that F(A,X,k)<XϵF(A,X,k) < X^\epsilon?

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

Erdős Problem 885

Is it true that, for every k1k \geq 1, there exist integers N1<<NkN_1 < \dots < N_k such that iD(Ni)k|\cap_i D(N_i)| \geq k?

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

Erdős Problem 886

Let ϵ>0\epsilon>0. Is it true that, for all large nn, the number of divisors of nn in (n1/2,n1/2+n1/2ϵ)(n^{1/2},n^{1/2}+n^{1/2-\epsilon}) is Oϵ(1)O_\epsilon(1)?

Erdős attributes this conjecture to Ruzsa.

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

Erdős Problem 887: I

Is there an absolute constant KK such that, for every C>0C > 0, if nn is sufficiently large then nn has at most KK divisors in (n12,n12+Cn14)(n^{\frac{1}{2}}, n^{\frac{1}{2}} + C n^{\frac{1}{4}}).

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

Erdős Problem 887: Ii

Is there an absolute constant KK such that, for every C>0C > 0, if nn is sufficiently large then nn has at most KK divisors in (n12,n12+Cn14)(n^{\frac{1}{2}}, n^{\frac{1}{2}} + C n^{\frac{1}{4}}).

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

Erdős Problem 887: Rosenfeld 4

Erdős and Rosenfeld, ask whether 44 is the best possible KK for the infinitude of nn with (at least) KK divisors in (n12,n12+n14)(n^{\frac{1}{2}}, n^{\frac{1}{2}} + n^{\frac{1}{4}}).

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

Erdős Problem 889

Let v(n,k)v(n,k) count the prime factors of n+kn+k which do not divide n+in+i for 0i<k0\leq i < k. Is it true that v0(n)=maxk0v(n,k)v_0(n)=\max_{k\geq 0}v(n,k)\to \infty as nn\to \infty?

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

Erdős Problem 889: General

Let vl(n)=maxklv(n,k)v_l(n) = \max_{k\geq l} v(n,k). For every fixed ll, vl(n)v_l(n) \to \infty as nn \to \infty

[ErSe67] Erdős, P. and Selfridge, J. L., Some problems on the prime factors of consecutive integers. Illinois J. Math. (1967), 428--430.

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

Erdős Problem 889: V1 Eq 1 Finite

Does v1(n)=1v_1(n) = 1 have finite solutions?

[ErSe67] Erdős, P. and Selfridge, J. L., Some problems on the prime factors of consecutive integers. Illinois J. Math. (1967), 428--430.

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

Erdős Problem 889: V1 Eq 1 Finite

Does V1(n)=1V_1(n) = 1 have finite solutions?

This is a modification of erdos_889.variants.v1_eq_1_finite, which might make it more amenable to attack according to [ErSe67].

[ErSe67] Erdős, P. and Selfridge, J. L., Some problems on the prime factors of consecutive integers. Illinois J. Math. (1967), 428--430.

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

Erdős Problem 890: A

If ωk(n)\omega_k(n) counts the number of distinct prime factors of nn which are >k>k, then is it true that, for every k1k\geq 1, lim infn0i<kωk(n+i)k?\liminf_{n\to \infty}\sum_{0\leq i < k}\omega_k(n+i)\leq k?

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

Erdős Problem 890: B

Is it true that lim supn(0i<kω(n+i))loglognlogn=1,\limsup_{n\to \infty}\left(\sum_{0\leq i < k}\omega(n+i)\right) \frac{\log\log n}{\log n}=1, where ω\omega counts the number of distinct prime factors without restriction?

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

Erdős Problem 891

Let 2=p1<p2<2=p_1 < p_2 < \cdots be the primes and k2k\geq 2. Is it true that, for all sufficiently large nn, there must exist an integer in [n,n+p1pk)[n,n+p_1\cdots p_k) with >k>k many prime factors?

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

Erdős Problem 891: Case K 2

This is unknown even for k=2k=2 - that is, is it true that in every interval of 66 (sufficiently large) consecutive integers there must exist one with at least 33 prime factors?

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

Erdős Problem 891: Weisenberg

Weisenberg has observed that Dickson's conjecture implies the answer is no if we replace p1pkp_1\cdots p_k with p1pk1p_1\cdots p_k-1. Indeed, let LkL_k be the lowest common multiple of all integers at most p1pkp_1\cdots p_k. By Dickson's conjecture [Wikipedia], there are infinitely many nn' such that Lkmn+1\frac{L_k}{m}n'+1 is prime for all 1m<p1pk1\leq m < p_1\cdots p_k. It follows that, if n=Lkn+1n=L_kn'+1, then all integers in [n,n+p1pk1)[n,n+p_1\cdots p_k-1) have at most kk prime factors.

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

Erdős Problem 897: I

Let f(n)f(n) be an additive function (so that f(ab)=f(a)+f(b)f(ab)=f(a)+f(b) if (a,b)=1(a,b)=1) such that lim supp,kf(pk)/log(pk)=\limsup_{p,k} f(p^k) / \log(p^k) = ∞ and f(pk)=f(p)f(p^k) = f(p) or f(pk)=kf(p)f(p^k) = kf(p). Is it true that lim supn(f(n+1)f(n))/logn=\limsup_n (f(n+1)−f(n))/ \log n = ∞?

The known counterexample does not satisfy either of these extra hypotheses, so this variant remains open.

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

Erdős Problem 897: Ii

Let f(n)f(n) be an additive function (so that f(ab)=f(a)+f(b)f(ab)=f(a)+f(b) if (a,b)=1(a,b)=1) such that lim supp,kf(pk)/log(pk)=\limsup_{p,k} f(p^k) / \log(p^k) = ∞ and f(pk)=f(p)f(p^k) = f(p) or f(pk)=kf(p)f(p^k) = kf(p). Is it true that lim supnf(n+1)/f(n)=\limsup_n f(n+1)/f(n) = ∞?

The known counterexample does not satisfy either of these extra hypotheses, so this variant remains open.

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

Erdős Problem 912

Prove that there exists some c>0c>0 such that h(n)c(nlogn)1/2h(n) \sim c \left(\frac{n}{\log n}\right)^{1/2} as nn\to \infty.

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

Erdős Problem 912: Tao

A heuristic of Tao using the Cramér model for the primes suggests this is true with c=2πc=\sqrt{2\pi}.

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

Erdős Problem 913

Are there infinitely many nn such that if

n(n+1)=ipiki n(n + 1) = \prod_i p_i^{k_i}

is the factorisation into distinct primes then all exponents kik_i are distinct?

Source checked Jul 26, 20261 pinned Lean statementInspect problem