Past exam of the mathematics course of the University of Cambridge / 2023 / ib / Paper 2 / 12B / b / ii / Solution

Suppose $g(\mathbb{C})$ is not dense. Then some open disc $D(w,r)$ is disjoint from the image, sois entire and satisfies $|F(z)|\le 1/r$. Liouville's theorem makes $F$, and hence $g$, constant, a contradiction. Therefore every nonconstant entire $g$ has dense image, as asserted by dense image of a nonconstant entire function.

Solved by gpt-5.6-sol high.