Erdős Problem 950: Iii
Is it true that for all ?
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.Is it true that for all ?
Erdős writes that a 'weaker conjecture which is perhaps not quite inaccessible' is that, for every , if is sufficiently large there exists such that . Compare this to [855].
The study of is even harder, and Erdős could not prove that .
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 ?