Erdős Problem 252: K Ge Five
For a fixed k ≥ 5, is ∑ σ k n / n! irrational?.
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.For a fixed k ≥ 5, is ∑ σ k n / n! irrational?.
Let be such that and for every , where is the distance of from the nearest integer. Then every sufficiently large integer is the sum of distinct elements of .
Let be an infinite set. Is
irrational?
Let be an increasing sequence such that . Is the sum irrational?
Is an irrationality sequence in the above sense?
Is an example of an irrationality sequence?
Let and be the Fibonacci sequence. Let be an infinite sequence with . Must be irrational?
Let and be the Fibonacci sequence. Let be an infinite sequence with . Must be irrational?
Let be a finite set of primes with and let be the set of positive integers whose prime factors are all in . Is the sum rational?
Let be a finite set of primes with and let be the set of positive integers whose prime factors are all in . Is the sum irrational?
Is there an infinite Lucas sequence where for such that all are composite, and yet no integer has a common factor with every term of the sequence?
Let . Is there a choice of congruence classes for every prime such that all sufficiently large integers can be written as for some prime and integer ?
If is such that contains all but finitely many integers then .
Let . Is it true that, for any distinct integers such that , we must have ?
For all large , there exists a prime such that is also prime.
This is an open conjecture. If true, it would imply erdos_287 for all but at most finitely
many exceptions (see erdos_287.variants.prime_conjecture_implies).
Is it true that there are only finitely many pairs of intervals , such that
This is still open even if .
It is perhaps true with two intervals replaced by any intervals.
Is it true for any that only finitely many intervals satisfy this condition?
Is it true that, for all sufficiently large , there exists finite intervals with for such that