Erdős problem 952 · problems.science

Is there an infinite sequence of distinct Gaussian primes $x_1,x_2,\ldots$ such that $\lvert x_{n+1}-x_n\rvert \ll 1$ ?

No current result

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

FormalConjectures/ErdosProblems/952.lean

Formal Conjectures

FormalConjectures/ErdosProblems/952.leanErdos952.erdos_9521 lineExact file

1∃ x C, Function.Injective x ∧ ∀ (n : ℕ), Prime (x n) ∧ Zsqrtd.norm (x (n + 1) - x n) < C

OpenStatement only, no proof