Erdős problem 951 · problems.science

If 1 < a 0 < ... has property Erdos951Prop, is it true that #{a i ≤ x} ≤ π x?

Sources

Browse retained paths and inspect the exact material available for this Problem.

3 retained statements2415f78e850a

FormalConjectures/ErdosProblems/

951.lean

Retained formal statement3 of 3

If a has property Erdos951Prop and 1 < a 0, then a is a set of Beurling prime numbers.

FormalConjectures/ErdosProblems/951.leanErdos951.erdos_951.variants.isBeurlingPrimes1 lineExact file

1∀ {a : ℕ → ℝ}, 1 < a 0 → StrictMono a → Erdos951.Erdos951Prop a → IsBeurlingPrimes a

APIStatement only, no proof