No zeros of $\zeta$ with $\tfrac12<\operatorname{Re} s<1$ above height $14$ (equivalent to RH)

Initializing...

No zeros of $\zeta$ with $\tfrac12<\operatorname{Re} s<1$ above height $14$ (equivalent to RH) · Prove2Me