Erdős problem 1047 · problems.science

Let $f\in \mathbb{C}[x]$ be a monic polynomial with $m$ distinct roots, and let $c>0$ be a constant small enough such that $\{ z: \lvert f(z)\rvert\leq c\}$ has $m$ distinct connected components.

Sources

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

6 retained statements2415f78e850a

Open selected source

FormalConjectures/ErdosProblems/

1047.lean

Retained formal statement6 of 6

The referee of the paper [Go66] also gave the example of $\lvert z(z^5-1)\rvert< 5\cdot 6^{-6/5}$ .

FormalConjectures/ErdosProblems/1047.leanErdos1047.erdos_1047.variants.referee5 linesExact file

1(Erdos1047.componentsIn2        (Erdos1047.strictSublevelSet (Polynomial.X * (Polynomial.X ^ 5 - 1)) (5 * 6 ^ (-6 / 5)))).ncard =3    6 ∧4  ∃ t ∈ Erdos1047.componentsIn (Erdos1047.strictSublevelSet (Polynomial.X * (Polynomial.X ^ 5 - 1)) (5 * 6 ^ (-6 / 5))),5    ¬Convex ℝ t

SolvedStatement only, no proof

Sources

Search problems.science