Irrationality measure and lower bounds for pi(x)

David Burt, Sam Donow, Steven J. Miller +2

In this note we show how the irrationality measure of $\zeta (s)={\pi }^2/6$ can be used to obtain explicit lower bounds for $\pi (x)$. We analyze the key ingredients of the proof of the fini…