Suppose is not dense. Then some open disc is disjoint from the image, so
is entire and satisfies . Liouville's theorem makes , and hence , constant, a contradiction. Therefore every nonconstant entire has dense image, as asserted by dense image of a nonconstant entire function.