Past exam of the mathematics course of the University of Cambridge / 2018 / ib / Paper 1 / 2A / a / Solution

ChooseIt is holomorphic on the right half-plane with derivative $1/z\ne 0$, and its inverse $z=e^w$ has positive real part precisely for $|\mathrm{Im}w|<\pi /2$. Thus this branch of the complex logarithm is a conformal bijection onto $S$.