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

741 of 1194 statement records

17 source collections · 43 mathematical fields

Clear filters
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 · Combinatorics

Erdős Problem 200

Does the longest arithmetic progression of primes in {1,,N}\{1,\ldots,N\} have length o(logN)o(\log N)?

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 · Combinatorics

Erdős Problem 236

Let f(n)f(n) count the number of solutions to n=p+2kn=p+2^k for prime pp and k0k\geq 0. Show that f(n)=o(logn)f(n)=o(\log n).

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
Source labels openErdős Problems · Number theory

Erdős Problem 1095: Upper Conjecture

Ecklund, Erdős, and Selfridge [EES74] conjectured g(k)exp((1+o(1))k)g(k)\leq \exp((1+o(1))k).

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

Erdős Problem 273

Is there a covering system all of whose moduli are of the form p1p-1 for some primes p5p \geq 5?

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

Erdős Problem 1095: Lower Conjecture

Erdős, Lacampagne, and Selfridge [ELS93] write 'it is clear to every right-thinking person' that g(k)exp(cklogk)g(k)\geq\exp(c\frac{k}{\log 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 1095: Log Equivalent

Sorenson, Sorenson, and Webster [SSWE20] give heuristic evidence that logg(k)klogk\log g(k) \asymp \frac{k}{\log k}.

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

Erdős Problem 11

Is every odd n>1n > 1 the sum of a squarefree number and a power of 2?

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

Erdős Problem 11: Not Four Dvd

Erdős often asked this under the weaker assumption that n>1n > 1 is not divisible by 4.

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

Erdős Problem 11: Two Pow Two

Is every odd n>1n > 1 the sum of a squarefree number and two powers of 2?

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

Erdős Problem 295

Let k(N)k(N) denote the smallest kk such that there exists Nn1<<nkN ≤ n_1 < ⋯ < n_k with 1n1+...+1nk=1\frac 1 {n_1} + ... + \frac 1 {n_k} = 1

Is it true that limNk(N)(e1)N=\lim_{N \to \infty} k(N) - (e - 1)N = \infty?

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

Erdős Problem 1101: I

  1. There is NO good sequence with polynomial growth.
Source checked Jul 26, 20261 pinned Lean statementInspect problem