theorem_1

Let $\{S_k\}$ be any sequence of sets in the complex plane, each of which has no finite limit point. Then there exists a sequence $\{n_k\}$ of positive integers and a transcendental entire function $f(z)$ such that $f^{(n_k)}(z) = 0$ if $z \in S_k$.

theorem theorem_1
    {S : ℕ → Set ℂ}
    (h : ∀ (k), derivedSet (S k) = ∅) :
  letI

Recent Submissions

No submissions yet. Be the first to attempt this problem.