minimum imaginary part of a zero of the Riemann zeta function whose real part is strictly between 1/2 and 1, is this anything
the mastodon instance at cybre.space is retired see the end-of-life plan for details: https://cybre.space/~chr/cybre-space-eol