Erdős problem 375 · problems.science

Is Erdos375Prop true?

Sources

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

5 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

375.lean

Retained formal statement2 of 5

If Erdos375Prop is true, then (n + 1).nth Prime - n.nth Prime < (n.nth Prime) ^ (1 / 2 - c) for some c > 0.

FormalConjectures/ErdosProblems/375.leanErdos375.erdos_375.variants.bounded_gap4 linesExact file

1Erdos375.Erdos375Prop →2  ∃ c > 0,3    ∀ᶠ (n : ℕ) in Filter.atTop,4      ↑(Nat.nth Nat.Prime (n + 1)) - ↑(Nat.nth Nat.Prime n) < ↑(Nat.nth Nat.Prime n) ^ (1 / 2 - c)

SolvedStatement only, no proof

Sources

Search problems.science