Erdős problem 855 · problems.science

Erdős Problem 855 (Segal's conjecture): $\pi(x + y) \le \pi(x) + \pi(y)$ for sufficiently large $x, y$ .

No current result

No reviewed Result is current in Vela Mathematics Program. Retained source material is shown below.

FormalConjectures/ErdosProblems/855.lean

Formal Conjectures

FormalConjectures/ErdosProblems/855.leanErdos855.erdos_8551 lineExact file

1True ↔ ∀ᶠ (x : ℕ) (y : ℕ) in Filter.atTop, (x + y).primeCounting ≤ x.primeCounting + y.primeCounting

OpenStatement only, no proof