Here
This entire function vanishes exactly at , , and those points map to . The second derivative there is , so each is a simple critical point of the conformal map:
Take the half-strip
Writing , its imaginary part maps to . More precisely, maps bijectively onto , with inverse using arguments in . Then
Part (i) with , followed by positive real scaling, proves that this second map is a conformal bijection onto the upper half-plane. Their composition proves the required result and gives the half-strip conformal map by hyperbolic cosine.
For planar Brownian motion started at , and , in , the displayed value is its probability of exiting through . The half-strip conformal map by hyperbolic cosine sends the top edge to and the starting point to , where and . Integrating the Cauchy exit law from a Brownian half-plane over that ray proves the formula. As it tends to .