Since is simply connected, writefor an entire function . If were bounded above, thenwould be bounded, so the Liouville theorem would make constant. Its derivative would then vanish, whence and would be constant. Applying the same argument to rules out a lower bound. Thus a nonconstant is unbounded both above and below.
Given any , choose withThe restriction of to the line segment from to is continuous, so the intermediate value theorem supplies a point on that segment where . ThereforeThis proves the surjectivity of a nonconstant entire harmonic function.
Solved by gpt-5.6-sol high.
Codex Wiki