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 1057

Is it true that C(x)=x1o(1)C(x)=x^{1-o(1)}?

This is discussed in problem A13 of Guy's collection [Gu04].

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

Erdős Problem 1057: Pomerance

Pomerance [Po89] gave a heuristic suggesting that this is the true order of growth, and in fact C(x)=xexp((1+o(1))logxlogloglogxloglogx)C(x)= x \exp\left(-(1+o(1))\frac{\log x\log\log\log x}{\log\log x}\right).

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

Erdős Problem 1059

Are there infinitely many primes pp such that pk!p - k! is composite for each kk such that 1k!<p1 ≤ k! < p?

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

Erdős Problem 1060: I

The conjecture is about the function f(n)f(n) which counts the number of solutions to kσ(k)=nk\sigma(k)=n, where σ(k)\sigma(k) is the sum of divisors of kk. The first bound is that f(n)f(n) grows slower than any power of n(1loglogn)n^(\frac{1}{\log\log n}). The second bound is that f(n)f(n) is at most a power of logn\log n.

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

Erdős Problem 1060: Ii

Part (ii) of Erdős Problem 1060: bound on the number of knk \le n with kσ1(k)=nk \sigma_1(k) = n.

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

Erdős Problem 1061

How many (ordered) solutions are there to σ(a) + σ(b) = σ(a + b) with a + b ≤ x? Is it true that this number is asymptotic to c * x for some constant c > 0?

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

Erdős Problem 1062: Ii

Erdős asked whether the limiting density f n / n exists and, if so, whether it is irrational.

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

Erdős Problem 1063: Better Upper

Estimate nkn_k by finding a better upper bound.

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

Erdős Problem 1065: I

Are there infinitely many primes pp such that p=2kq+1p = 2^k * q + 1 for some prime qq and k0k ≥ 0?

This is mentioned as B46 in Unsolved Problems in Number Theory by Richard K. Guy

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

Erdős Problem 1065: Ii

Are there infinitely many primes pp such that p=2k3lq+1p = 2^k 3^l q + 1 for some prime qq and k0k ≥ 0, l0l ≥ 0?

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

Erdős Problem 1072: I

Is it true that there are infinitely many pp for which f(p)=p1f(p) = p − 1?

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

Erdős Problem 1072: Ii

Is it true that f(p)/p0f(p)/p \to 0 for pp \to \infty in a density 1 subset of the primes?

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

Erdős Problem 1072: Littleo

Erdős, Hardy, and Subbarao [HaSu02], believed that the number of pxp \le x for which f(p)=p1f(p)=p−1 is o(x/logx)o(x/\log x).

[HaSu02] Hardy, G. E. and Subbarao, M. V., A modified problem of Pillai and some related questions. Amer. Math. Monthly (2002), 554--559.

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

Erdős Problem 1073

Is it true that A(x)xo(1)A(x) \le x^{o(1)}?

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

Erdős Problem 1074: I

Let SS be the set of all m1m\geq 1 such that there exists a prime p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}. Does

limS[1,x]x \lim\frac{|S\cap[1, x]|}{x}

exist?

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

Erdős Problem 1074: Ii

Let SS be the set of all m1m\geq 1 such that there exists a prime p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}. What is

limS[1,x]x? \lim\frac{|S\cap[1, x]|}{x}?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1074: Iii

Similarly, if PP is the set of all primes pp such that there exists an mm with p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}, then does

limP[1,x]π(x) \lim\frac{|P\cap[1, x]|}{\pi(x)}

exist?

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

Erdős Problem 1074: Iv

Similarly, if PP is the set of all primes pp such that there exists an mm with p≢1(modm)p\not\equiv 1\pmod{m} such that m!+10(modp)m! + 1 \equiv 0\pmod{p}, then what is

limP[1,x]π(x)? \lim\frac{|P\cap[1, x]|}{\pi(x)}?
Source checked Jul 26, 20261 pinned Lean statementInspect problem
Source labels openErdős Problems · Number theory

Erdős Problem 1074: EHSNumbers One Half

Regarding the first question, Hardy and Subbarao computed all EHS numbers up to 2102^{10}, and write "...if this trend conditions we expect [the limit] to be around 0.5, if it exists."

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

Erdős Problem 1094

For all n2kn\ge 2k the least prime factor of (nk)\binom{n}{k} is max(n/k,k)\le\max(n/k,k), with only finitely many exceptions.

Source checked Jul 26, 20261 pinned Lean statementInspect problem