Skip to content

Erdős problem 853

Let dn=pn+1pnd_n = p_{n+1} - p_n, where pnp_n is the nnth prime. Let r(x)r(x) be the smallest even integer tt such that dn=td_n = t has no solutions for nxn \le x.

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/853.lean

Formal Conjectures

FormalConjectures/ErdosProblems/853.leanErdos853.erdos_853.parts.i1 lineExact file
Filter.Tendsto Erdos853.r Filter.atTop Filter.atTop
OpenStatement only, no proof

Continue

Search problems.science

Find a Problem, Result, source, or page