ThmDex – An index of mathematical definitions, results, and conjectures.
P2447
With these assumptions, result R3471: Open complex mapping theorem shows that $f$ is an open function; hence the image $f(\Omega)$ is open in $\mathbb{C}$. Now the claim is a consequence of the result R3473: Euclidean real function with open image set does not attain maximum. $\square$