Ben Green's Open Problem 33
Are there infinitely many for which there is a set , , with ? [Gr24]
Questions, not proof records
Each statement record keeps the mathematical question, a dated status source, accessible references, and any pinned Lean formulation separate from proof verification.
sorry marks an admitted statement, not a proof. Source indexing does not mean the formulation has been independently built or certified by Therefore.Are there infinitely many for which there is a set , , with ? [Gr24]
Surányi was the first to conjecture that the only non-trivial solution to a!b!=n!
is 6!7!=10!.
Is Erdos375Prop true?
Are there infinitely many such that is coprime to ?
Given a natural number N, what is the smallest size of a subset of ℕ that contains, for each d = 1, …, N,
an arithmetic progression of length k with common difference d.
Is there some absolute constant such that
for all ?
Asymptotic version: determine the asymptotic behavior of m(N, k) as N grows.
The solver should determine what function f : ℕ → ℝ eventually equals (fun N ↦ (m N k : ℝ)).
Is it true that for every there are infinitely many primes such that the largest prime divisor of
is ?
Determine the asymptotic equivalence class (theta) of m(N, k).
Let F(n) := \max\{m + p(m) \mid \textrm{m < n composite}\}\} where is the least prime divisor of . Is it true that for all sufficiently large ?
Determine an upper bound (big O) for m(N, k).
Let F(n) := \max\{m + p(m) \mid \textrm{m < n composite}\}\} where is the least prime divisor of . Does as ?
Determine a strict upper bound (little o) for m(N, k).
A question of Erdős, Eggleton, and Selfridge, who write that in fact it is possible that this quantity is always at least
Can we improve the lower bound?
There is a , such that and can be the product of consecutive primes infinitely often?
Can we improve the best upper bound?
For all , can be the product of consecutive primes infinitely often?
Can be the product of consecutive primes infinitely often?
The following is Schinzel's conjecture, which appears in [Gu04].