Good heights: for each $j \ge 7$ some $R \in [j, j+1]$ has $\zeta \ne 0$ and $\|\zeta'/\zeta\| \le C\log^2(j+3)$ at height $\pm R$

Initializing...

Good heights: for each $j \ge 7$ some $R \in [j, j+1]$ has $\zeta \ne 0$ and $\|\zeta'/\zeta\| \le C\log^2(j+3)$ at height $\pm R$ · Prove2Me