$\zeta$ has no zeros in the low-lying rectangle $0<\operatorname{Re} s<1$, $|\operatorname{Im} s|\le 2$

Initializing...

$\zeta$ has no zeros in the low-lying rectangle $0<\operatorname{Re} s<1$, $|\operatorname{Im} s|\le 2$ · Prove2Me