Good heights $R_j \in [j+7, j+8]$: $\zeta \ne 0$ and $\|\zeta'/\zeta\| \ll \log^2 j$ on the horizontal segments

Initializing...

Good heights $R_j \in [j+7, j+8]$: $\zeta \ne 0$ and $\|\zeta'/\zeta\| \ll \log^2 j$ on the horizontal segments · Prove2Me