1: \begin{proof}

2: Given the exact formula,

3: \be

4: \mathcal{R}_N^{(1)}(1-N^{-1/2}u)\, =\, \pi^{-1} \exp(-N+N^{1/2}u) \sum_{n=0}^{N-1} \frac{(N-N^{1/2}u)^n}{n!}\, ,

5: \ee

6: make the substitution $n=N-N^{1/2}x$ for $x \in \{N^{-1/2},2N^{-1/2},\dots,N^{1/2}\}$ and use Stirling's formula.

7: Then replace the sum by an appropriate integral in $x$ (of which it is a Riemann sum approximation with $\Delta x=N^{-1/2}$) by using the rigorous Euler-Maclaurin

8: summation formula.

9: \end{proof}

10: