 Solution

The two terms in the preceding formula are the real part and imaginary part. Their squared sum is the squared complex modulus:Here ${\cosh }^{2}x-{\sinh }^{2}x=1$ follows directly from the exponential function definitions. The hyperbolic sine modulus identity therefore yieldsEquality holds exactly when $\sin y=0$, that is, when $y$ is an integer multiple of $\pi$. The lower bound is uniform in $y$, which will control whole vertical sides of the contour rather than just their endpoints.