Erdős problem 509 · problems.science

Let $f(z) ∈ ℂ[z]$ be a monic non-constant polynomial. Can the set $\{z ∈ ℂ : |f(z)| ≤ 1\}$ be covered by a set of closed discs the sum of whose radii is $≤ 2$ ?

No current result

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

Retained declaration

FormalConjectures/ErdosProblems/509.lean

Formal Conjectures

FormalConjectures/ErdosProblems/509.leanErdos509.BoundedDiscCover.bound_nonneg_of_nonempty2 linesExact file

1∀ {M : Type u} [inst : MetricSpace M] (S : Set M),2  S.Nonempty → ∀ (r : ℝ) (ι : Type v) (bdc : Erdos509.BoundedDiscCover S r ι), 0 < r

APIStatement only, no proof

Continue

Start a contribution Browse the source files Open the collection entry

No current result

Continue

Search problems.science