Erdős Problem 50
Let be the asymptotic distribution function of , so that for each , is the natural density of . Is it true that there is no such that the derivative exists and is positive?
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.Let be the asymptotic distribution function of , so that for each , is the natural density of . Is it true that there is no such that the derivative exists and is positive?
Is there an infinite set such that for every , there is an integer n such that , and yet if is the smallest such integer, then as ?
Chowla's cosine problem*
If is a finite set of positive integers of size then is there some absolute constant and such that
Let be a finite set of integers. Is it true that for every
Let be a Rademacher multiplicative function. Does there exist some constant such that, almost surely,
Let and be sufficiently large. Is it true that if has size at least then there must be distinct such that where denotes the least common multiple?
Let count the number of divisors of . Is there some such that
Erdős says 'it is extremely doubtful' that there are infinitely many such , and in fact suggests that
Erdős says it 'seems certain' that for every there are infinitely many for which
Is there and is such that exists and is ?
Can the product of an arithmetic progression of positive integers of length ≥ 4, with , be a perfect power?
Denote by the least common multiple of the finite set . Is it true that for all , we get ?
Is irrational?
Is it true that, for all sufficiently large , there exists some such that
where denotes the least prime factor of ?
Can one prove this is false if we replace by , for all , where is some constant?
Erdős problem 681.* Is it true that for all large there exists such that is composite and , where is the least prime factor of ?
There exists such that for all .}
Standard heuristics suggest that for some constant .
Can every integer be written as for some and ?
Can every square be written as for some and ?