1: \begin{proof}

2: The left side of (\ref{eq:expec}) equals

3: \[\begin{aligned}

4: &\int_0^\infty \sum_{n=1}^\infty \Lambda(n) \chi(n) e\left(\frac{\delta

5:     n}{x}\right) \eta\left(\frac{n}{w x}\right) \eta_2(w) \frac{dw}{w}\\

6: \\ &=\int_{\frac{1}{4}}^1 \sum_{n=1}^\infty \Lambda(n) \chi(n) e\left(\frac{\delta w

7:     n}{w x}\right) \eta\left(\frac{n}{w x}\right) \eta_2(w) \frac{dw}{w},

8: \end{aligned}\]

9: since $\eta_2$ is supported on $\lbrack -1/4,1\rbrack$.

10: By Prop.~\ref{prop:magoma}, the main term (if $q=1$) contributes

11: \[\begin{aligned}

12: &\int_{\frac{1}{4}}^1 \widehat{\eta}(-\delta w) x w\cdot

13: \eta_2(w) \frac{dw}{w}

14: = x \int_{0}^\infty \widehat{\eta}(-\delta w) \eta_2(w) dw\\

15: &= x \int_{0}^\infty \int_{-\infty}^\infty

16: \eta(t) e(\delta w t) dt \cdot \eta_2(w) dw

17: = x \int_{0}^\infty \int_{-\infty}^\infty

18: \eta\left(\frac{r}{w}\right) e(\delta r) 

19: \frac{dt}{w} \eta_2(w) dw\\

20: &= x \int_{-\infty}^\infty \left(\int_0^\infty 

21: \eta\left(\frac{r}{w}\right) \eta_2(w) \frac{dw}{w}\right)

22:  e(\delta r) dr = \widehat{\eta_*}(-\delta)\cdot x.\end{aligned}\]

23: The error term is

24: \begin{equation}\label{eq:braca}\int_{\frac{1}{4}}^1 

25: \err_{\eta,\chi}(\delta w, w x) \cdot w x \cdot \eta_2(w) \frac{dw}{w}

26: = x \cdot 

27: \int_{\frac{1}{4}}^1 

28: \err_{\eta,\chi}(\delta w, w x) \eta_2(w) dw.

29: \end{equation}

30: Since \[\begin{aligned}

31: \int_w \eta_2(w) dw &= 1,\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;\;

32:  \int_w w^{-1/2} \eta_2(w) dw \leq 1.37259,\\

33: \int_w w^{-1} \eta_2(w) dw &= 4 (\log 2)^2 \leq 1.92182,\;\;\;\;\;\;\; \int_w w^{-3/2} \eta_2(w) dw \leq 2.74517\end{aligned}\]

34: and\footnote{By rigorous integration from $1/4$ to $1/2$ and from $1/2$ to

35:   $1$ using VNODE-LP \cite{VNODELP}.}

36: \[\int_w e^{-0.1065 \cdot (4 \pi)^2 \left(\frac{1}{w^2} - 1\right)}

37: \eta_2(w) dw \leq 0.002866,\]

38: we see that (\ref{eq:camdiaw}) and (\ref{eq:braca}) imply (\ref{eq:monte}).

39: \end{proof}

40: