 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$.