Loading problem…
Status
On this page
Status
Topics
Problem 229
Let be a sequence of sets of complex numbers, none of which have a finite limit point. Does there exist an entire transcendental function such that, for all , there exists some such that
Source: erdosproblems.com/229
- Analysis
- Iterated functions
Status
Solved, ProvedAn accepted solution exists. The statement is true.
PROVED (LEAN). The site credits Barth and Schneider [BaSc72] with the affirmative answer; the claim page Barth and Schneider 1972 records it, accepted on its refereed publication and the site's credit. The site's Lean qualification refers to Boris Alexeev's formalization of that solution, linked from the claim page and not built here.