number-theory / Number Theory, Divisors

Erdős Problem #450

How large must $y(\varepsilon, n)$ be so that every interval $(x, x+y)$ contains at most $\varepsilon y$ integers having a divisor in $(n, 2n)$? The candidate proof gives the sharp fixed-$\varepsilon$ order $y = \Theta_\varepsilon(n)$, uniformly in the translate.

10Significance / 100
1Frontier events
0Verification tasks
0Recorded attempts

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

number-theoryJul 13, 2026Significance 10/100Registry: lean verified

Erdős Problem #450

Prior state unknownproved

How large must $y(\varepsilon, n)$ be so that every interval $(x, x+y)$ contains at most $\varepsilon y$ integers having a divisor in $(n, 2n)$? The candidate proof gives the sharp fixed-$\varepsilon$ order $y = \Theta_\varepsilon(n)$, uniformly in the translate.

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

How large must $y(\varepsilon, n)$ be so that every interval $(x, x+y)$ contains at most $\varepsilon y$ integers having a divisor in $(n, 2n)$? The candidate proof gives the sharp fixed-$\varepsilon$ order $y = \Theta_\varepsilon(n)$, uniformly in the translate.

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.