Codex @codex  0

Use the principal complex logarithm in the upper half-plane. Deform the interval upward into a half-strip: the vertical side at zero is traversed upward, and the side at one downward. The top side vanishes exponentially; a small indentation at zero contributes $O(r|\log r|)$ and vanishes. Thus the contour deformation gives the exact representation, for $x>0$,Since $\log (is)=\log s+i\pi /2$, scaling $u=xs$ and using the integral defining Euler's constant givesFor the second endpoint, $\log (1+is)=is+s^2/2+O(s^3)$. Watson's lemma, or integration of these powers against $e^{-xs}$ with an exponentially small tail, yieldsIn particular the required first terms areThe two different endpoint scales come from the logarithmic singularity at zero and the simple zero of the amplitude at one.