On the square, ∣z∣≥N. The identity ∣sinπ(x+α+iy)∣2=sin2π(x+α)+sinh2πy bounds the sine away from zero on the vertical sides because x=±N; on horizontal sides it grows exponentially. Therefore the whole contour integral is O(N−1) or smaller and vanishes. The residue theorem then gives