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 statement2 of 3

Beurling conjectured that if the number of Beurling integer in [1, x] is x + o(log x), then a must be the sequence of primes.

FormalConjectures/ErdosProblems/951.leanErdos951.erdos_951.variants.beurling3 linesExact file

1∀ (a : ℕ → ℝ),2  IsBeurlingPrimes a →3    (fun x => ↑(BeurlingIntegers a ∩ Set.Iic x).ncard - x) =o[Filter.atTop] Real.log → a = Nat.cast ∘ Nat.nth Nat.Prime

SolvedStatement only, no proof

Sources

Search problems.science