Show that the complex solutions of $\sin z = 2$ are given by $$z = {\pi \over 2} - i \log (2\pm\sqrt 3) +2n\pi.$$