analysis / Complex Analysis

Erdős Problem #1039

For $f(z) = \prod_{i=1}^n (z - z_i)$ with all $|z_i| \le 1$, let $\rho(f)$ be the radius of the largest disc contained in $\{z : |f(z)| < 1\}$. Is $\rho(f) \gg 1/n$? The worst case is now known to be $\Theta(1/n)$, with the explicit bound $\rho(f) \ge (\log 2)/n$.

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

Temporal state

Current frontier

No reconciled state yet.

Append-only history

Frontier timeline

analysisMay 17, 2026Significance 10/100Registry: lean verified

Erdős Problem #1039

Prior state unknownproved

order of magnitude determined; the exact asymptotic constant remains open

SourceReplayReproducedFormal proofStatement auditExternal checkExpert reviewPeer review

Research memory

Claims and attempts

Scoped claims

Source authenticated

For $f(z) = \prod_{i=1}^n (z - z_i)$ with all $|z_i| \le 1$, let $\rho(f)$ be the radius of the largest disc contained in $\{z : |f(z)| < 1\}$. Is $\rho(f) \gg 1/n$? The worst case is now known to be $\Theta(1/n)$, with the explicit bound $\rho(f) \ge (\log 2)/n$.

order of magnitude determined; the exact asymptotic constant remains open

Recorded attempts

Evidence graph

Connected research record

No public relationships recorded yet.

Erdős Problem #1039 — Mathematical Frontier Network