Erdős #853 (?, AMS 11). STATEMENT: Let `r(x)` be the smallest even integer `t` such that `primeGap = t` has no solutions for `n ≤ x`. FORMAL: erdos_853: atTop.Tendsto r atTop; erdos_853: atTop.Tendsto (fun n ↦ r n / Real.log n) atTop KNOWN/REMARKS: # Erdős Problem 853 *Reference:* erdosproblems.com/853 | Let $d_n = p_{n+1} - p_n$, where $p_n$ is the $n$th prime. Let $r(x)$ be the smallest even integer $t$ such that $d_n = t$ has no solutions for $n \le x$. Is it true that $r(x) \to \infty$? | Let $d_n = p_{n+1} - p_n$, where $p_n$ is the $n$th prime. Let $r(x)$ be the smallest even integer $t$ such that $d_n = t$ has no solutions for $n \le RELATED: [] OEIS: []

id

vpr_285a6cc3ee7d23d3

frontier

Erdős problems frontier

kind

finding.add

created

2026-06-04