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

Initializing...

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