Past exam of the metric spaces and complex analysis course of the University of Oxford / 2021 / 3 / a / iv / Solution

Let $F(z)=\overline{\sinh z}$. More generally, for a holomorphic function $h$, the increment expansion at $z_0$ givesAlong real increments $w$ the first factor $\overline{w}/w$ is $1$, while along purely imaginary increments it is $-1$. Thus complex differentiability of $\overline{h}$ requires $h^{\prime }(z_0)=0$. Conversely, if $h^{\prime }(z_0)=0$, the displayed expression tends to zero for arbitrary complex increments, so the complex derivative exists and equals zero.

For $h=\sinh$, this condition is $\cosh z_0=0$, equivalent to $e^{2z_0}=-1$. ConsequentlyThese points form a discrete subset of the complex plane and contain no nonempty open set. Every neighbourhood of each one contains points where $F$ is not complex differentiable. Therefore $F$ is holomorphic on no nonempty open set, even though it has complex derivatives at the specified points.