P
Initializing...
No zeros of $\zeta$ with $\tfrac12<\operatorname{Re} s<1$ above height $2$ · Prove2Me