Erdős problem 445 · problems.science

Is it true that, for any $c>1/2$ , if $p$ is a sufficiently large prime then, for any $n\geq 0$ , there exist $a,b\in(n,n+p^c)$ such that $ab\equiv 1\pmod{p}$ ?

Sources

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

4 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

445.lean

Retained formal statement4 of 4

Heilbronn (unpublished) proved this for $c$ sufficiently close to $1$ .

FormalConjectures/ErdosProblems/445.leanErdos445.erdos_445.variants.heilbronn1 lineExact file

1∃ c₀ < 1, ∀ c > c₀, ∀ᶠ (p : ℕ) in Filter.atTop, Nat.Prime p → ∀ (n : ℕ), Erdos445.Erdos445Prop c p n

SolvedStatement only, no proof

Sources

Search problems.science