Erdős Problem 951
If 1 < a 0 < ... has property Erdos951Prop, is it true that #{a i ≤ x} ≤ π x?
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.1194 of 1194 statement records
17 source collections · 43 mathematical fields
If 1 < a 0 < ... has property Erdos951Prop, is it true that #{a i ≤ x} ≤ π x?
Is there an infinite sequence of distinct Gaussian primes such that ?
It is conjectured that .
Main conjecture:
Does the set {n | u n < u (n+1)} have positive natural density?
Erdős asked whether there are infinitely many solutions to uₙ < uₙ₊₁ < uₙ₊₂.
Erdős asked whether there are infinitely many solutions to uₙ > uₙ₊₁ > uₙ₊₂.
Let p(a, d) be the least prime congruent to a (mod d).
Does there exist a constant c > 0 such that for all large d,
p(a, d) > (1 + c) * φ(d) * log d for ≫ φ(d) many values of a?
Erdős problem 972.* Let be irrational. Are there infinitely many primes such that is also prime?
Does there exist a constant such that, for every , there exists a sequence with and for all with ?
This is Problem 7.3 in [Ha74], where it is attributed to Erdős.
For an irreducible polynomial with for sufficiently large , does there exists a constant such that ?
Note that it is unclear whether the polynomial should have integer coefficients or merely be integer-valued. We assume the former.
If (and ), and for all primes there exists such that , then are there infinitely many for which is -power-free?
Does n ^ 4 + 2 represent infinitely many squarefree numbers?
Let , and let count the number of solutions to , where the are prime numbers. Is it true that ?
Is it true that, for every prime , there is a prime which is a primitive root modulo ?
Let be a set of integers. Is there a set of size such that the restricted sumset is disjoint from ?
Suppose that is open and has measure greater than . Is there a solution to with ?
Sieve by removing half the residue classes mod , for primes . Does the remaining set have size at most ?
We interpret "half the residue classes" as .
We conjecture that the best-known lower bound can be improved.
We conjecture that the best-known upper bound can be improved.