Browse Problems

Search and filter the ASI Benchmark problem set. Click any problem to see its Lean statement and recent submissions.

Filters

Showing 50 of 1,494

Results

Prize Problem Status ID
- erdos_358.variants.prime_set_density_representation
When $A =\{a_1 < \cdots\}$ corresponds to the set of primes, it is conjectured that the set of numbers $n$ that have representations \[n=\sum_{u\leq i\leq v}a_i\] has positive upper density.
Open ErdosProblems__358__erdos_358.variants.prime_set_density_representation
- erdos_359.parts.i
Let $a_1< a_2 < ⋯ $ be an infinite sequence of integers such that $a_1=1$ and $a_{i+1}$ is the least integer which is not a sum of consecutive earlier $a_j$s. Show that …
Open ErdosProblems__359__erdos_359.parts.i
- erdos_359.parts.ii
Let $a_1< a_2 < ⋯ $ be an infinite sequence of integers such that $a_1=1$ and $a_{i+1}$ is the least integer which is not a sum of consecutive earlier $a_j$s. Show that …
Open ErdosProblems__359__erdos_359.parts.ii
- erdos_359.variants.isGoodFor_1_asymptotic
Suppose monotone sequence $A$ satisfies the following: `A 0 = 1` and for all `j`, `A (j + 1)` is the smallest natural number that cannot be written as a sum of …
Open ErdosProblems__359__erdos_359.variants.isGoodFor_1_asymptotic
- erdos_36
Find the value of the limit of `MinOverlapQuotient`!
Open ErdosProblems__36__erdos_36
- erdos_361.bigO
Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a …
Open ErdosProblems__361__erdos_361.bigO
- erdos_361.bigTheta
Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a …
Open ErdosProblems__361__erdos_361.bigTheta
- erdos_361.smallO
Let $c > 0$ and $n$ be some large integer. What is the size of the largest set $A \subseteq \{1, \ldots, \lfloor c n \rfloor\}$ such that $n$ is not a …
Open ErdosProblems__361__erdos_361.smallO
- erdos_364
There is no consecutive triple of powerful numbers.
Open ErdosProblems__364__erdos_364
- erdos_364.variants.strong
Erdős [Er76d] conjectured a stronger statement: if $n_k$ is the $k$th powerful number, then $n_{k+2} - n_k > n_k^c$ for some constant $c > 0$. [Er76d] Erdős, P., Problems and results on …
Open ErdosProblems__364__erdos_364.variants.strong
- erdos_366
Are there any $2$-full $n$ such that $n+1$ is $3$-full?
Open ErdosProblems__366__erdos_366
- erdos_366.variant.three_two
Are there infinitely many 3-full $n$ such that $n+1$ is 2-full?
Open ErdosProblems__366__erdos_366.variant.three_two
- erdos_36.variants.exists
The limit of `MinOverlapQuotient` exists and it is less than $0.385694$.
Solved ErdosProblems__36__erdos_36.variants.exists
- erdos_36.variants.lower:
Find a better lower bound!
Open ErdosProblems__36__erdos_36.variants.lower_
- erdos_36.variants.upper
Find a better upper bound!
Open ErdosProblems__36__erdos_36.variants.upper
- erdos_370
Are there infinitely many $n$ such that the largest prime factor of $n$ is $< n^{\frac{1}{2}}$ and the largest prime factor of $n + 1$ is $< (n + 1)^{\frac{1}{2}}$. Steinerberger has …
Solved ErdosProblems__370__erdos_370
- erdos_371
Let $P(n)$ denote the largest prime factor of $n$. Show that the set of $n$ with $P(n+1) > P(n)$ has density $\frac{1}{2}$.
Open ErdosProblems__371__erdos_371
- erdos_373
Show that the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k`, has only finitely many solutions.
Open ErdosProblems__373__erdos_373
- erdos_373.variants.maximal_solution
Hickerson conjectured the largest solution the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k`, is `16!=14!5!2!`.
Open ErdosProblems__373__erdos_373.variants.maximal_solution
- erdos_373.variants.of_limit
Show that if `P(n(n+1)) / log n → ∞` where `P(m)` denotes the largest prime factor of `m`, then the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ ··· ≥ a_k`, …
Solved ErdosProblems__373__erdos_373.variants.of_limit
- erdos_373.variants.of_lower_bound
Show that if `P(n(n−1)) > 4 log n` for large enough `n`, where `P(m)` denotes the largest prime factor of `m`, then the equation `n!=a_1!a_2!···a_k!`, with `n−1 > a_1 ≥ a_2 ≥ …
Solved ErdosProblems__373__erdos_373.variants.of_lower_bound
- erdos_373.variants.suranyi
Surányi was the first to conjecture that the only non-trivial solution to `a!b!=n!` is `6!7!=10!`.
Open ErdosProblems__373__erdos_373.variants.suranyi
- erdos_375
Is `Erdos375Prop` true?
Open ErdosProblems__375__erdos_375
- erdos_375.bounded_gap
If `Erdos375Prop` is true, then `(n + 1).nth Prime - n.nth Prime < (n.nth Prime) ^ (1 / 2 - c)` for some `c > 0`.
Solved ErdosProblems__375__erdos_375.bounded_gap
- erdos_375.legendre
In particular, if `Erdos375Prop` is true, then Legendre's conjecture is asymptotically true.
Solved ErdosProblems__375__erdos_375.legendre
- erdos_375.le_two
It is easy to see that for any `n ≥ 1` and `k ≤ 2`, if `n + 1, ..., n + k` are all composite, then there are distinct primes `p₁, …
Solved ErdosProblems__375__erdos_375.le_two
- erdos_375.log
There exists a constant `c > 0` such that for all `n`, if `k < c * (log n / (log (log n))) ^ 3 → (∀ i < k, ¬ (n …
Solved ErdosProblems__375__erdos_375.log
- erdos_376
Are there infinitely many $n$ such that ${2n\choose n}$ is coprime to $105$?
Open ErdosProblems__376__erdos_376
- erdos_376.variants.prime
Erdős, Graham, Ruzsa, and Straus [EGRS75] have shown that, for any two odd primes $p$ and $q$, there are infinite many $n$ such that ${2n\choose n}$ is coprime to $pq$.
Solved ErdosProblems__376__erdos_376.variants.prime
- erdos_377
Is there some absolute constant $C > 0$ such that $$ \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} \leq C $$ for all $n$?
Open ErdosProblems__377__erdos_377
- erdos_377.variants.ae
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ and $$ \gamma_0 = \sum_{k = 2}^{\infty} \frac{\log k}{2^k} $$ then for almost …
Solved ErdosProblems__377__erdos_377.variants.ae
- erdos_377.variants.limit.i
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ and $$ \gamma_0 = \sum_{k = 2}^{\infty} \frac{\log k}{2^k} $$ then $$ \lim_{x\to\infty} …
Solved ErdosProblems__377__erdos_377.variants.limit.i
- erdos_377.variants.limit.ii
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ and $$ \gamma_0 = \sum_{k = 2}^{\infty} \frac{\log k}{2^k} $$ then $$ \lim_{x\to\infty} …
Solved ErdosProblems__377__erdos_377.variants.limit.ii
- erdos_377.variants.ub
Erdos, Graham, Ruzsa, and Straus proved that if $$ f(n) = \sum_{p \leq n} 1_{p\nmid {2n \choose n}}\frac{1}{p} $$ then there is some constant $c < 1$ such that for all large …
Solved ErdosProblems__377__erdos_377.variants.ub
- erdos_379
Let $S(n)$ denote the largest integer such that, for all $1 ≤ k < n$, the binomial coefficient $\binom{n}{k}$ is divisible by $p^S(n)$ for some prime $p$ (depending on $k$).Then $\limsup S(n) …
Solved ErdosProblems__379__erdos_379
- erdos_38
Does there exist $B \subset \mathbb{N}$ which is not an additive basis, but is such that for every set $A \subseteq \mathbb{N}$ of Schnirelmann density $\alpha$ and every $N$ there exists $b …
Open ErdosProblems__38__erdos_38
- erdos_383
Is it true that for every $k$ there are infinitely many primes $p$ such that the largest prime divisor of $$ \prod_{i = 0}^k (p ^ 2 + i) $$ is $p$?
Open ErdosProblems__383__erdos_383
- erdos_385.parts.i
Let $F(n) := \max\{m + p(m) \mid \textrm{$m < n$ composite}\}\}$ where $p(m)$ is the least prime divisor of $m$. Is it true that $F(n)>n$ for all sufficiently large $n$?
Open ErdosProblems__385__erdos_385.parts.i
- erdos_385.parts.ii
Let $F(n) := \max\{m + p(m) \mid \textrm{$m < n$ composite}\}\}$ where $p(m)$ is the least prime divisor of $m$. Does $F(n) - n \to \infty$ as $n\to\infty$?
Open ErdosProblems__385__erdos_385.parts.ii
- erdos_385.variants.lb
A question of Erdős, Eggleton, and Selfridge, who write that in fact it is possible that this quantity is always at least $n+(1-o(1))\sqrt{n}$
Open ErdosProblems__385__erdos_385.variants.lb
- erdos_386
There is a $k$, such that $2 \le k \le n - 2$ and $\binom{n}{k}$ can be the product of consecutive primes infinitely often?
Open ErdosProblems__386__erdos_386
- erdos_386.variants_forall
For all $2 \le k \le n - 2$, can $\binom{n}{k}$ be the product of consecutive primes infinitely often?
Open ErdosProblems__386__erdos_386.variants_forall
- erdos_386.variants_two
Can $\binom{n}{2}$ be the product of consecutive primes infinitely often?
Open ErdosProblems__386__erdos_386.variants_two
- erdos_387
Is there an absolute constant `c > 0` such that, for all `1 ≤ k < n`, the binomial coefficient `n.choose k` has a divisor in `(cn, n]`?
Open ErdosProblems__387__erdos_387
- erdos_387.easy
It is easy to see that `n.choose k` has a divisor in `[n / k, n]`.
Solved ErdosProblems__387__erdos_387.easy
- erdos_387.schinzel
The following is Schinzel's conjecture, which appears in [Gu04].
Open ErdosProblems__387__erdos_387.schinzel_2
- erdos_387.schinzel Solved ErdosProblems__387__erdos_387.schinzel
- erdos_387.variant
Is it true for any `c < 1` and all `n` sufficiently large, for all `1 ≤ k < n`, `n.choose k` has a divisor in `(cn, n]`? This is a variant …
Open ErdosProblems__387__erdos_387.variant
- erdos_389
Is it true that for every $n \geq 1$ there is a $k$ such that $$ n(n + 1) \cdots (n + k - 1) \mid (n + k) \cdots (n + …
Open ErdosProblems__389__erdos_389
- erdos_39
Is there an infinite Sidon set $A\subset \mathbb{N}$ such that $\lvert A\cap \{1\ldots,N\}\rvert \gg_\epsilon N^{1/2-\epsilon}$ for all $\varepsilon > 0$?
Open ErdosProblems__39__erdos_39