Showing 1–1 of 1 results for author: Schiffman, M

Irrationality measure and lower bounds for pi(x)

Authors: David Burt, Sam Donow, Steven J. Miller, Matthew Schiffman, Ben Wieland

Abstract: In this note we show how the irrationality measure of $ζ(s) = π^2/6$ can be used to obtain explicit lower bounds for $π(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to obtain good lower bounds for $π(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more el… ▽ More In this note we show how the irrationality measure of $ζ(s) = π^2/6$ can be used to obtain explicit lower bounds for $π(x)$. We analyze the key ingredients of the proof of the finiteness of the irrationality measure, and show how to obtain good lower bounds for $π(x)$ from these arguments as well. While versions of some of the results here have been done by other authors, our arguments are more elementary and yield a lower bound of order $x/\log x$ as a natural boundary. △ Less

Submitted 22 December, 2014; v1 submitted 13 September, 2007; originally announced September 2007.

Comments: Version 4.0, 7 ps. E. Kowalski and T. Rivoal point out that the irrationality bound on zeta(2) uses the PNT to bound lcm(1,...,n). We explore this connection in greater detail, and modify the irrationality bound proofs. We can get arbitrarily close to x /log x infinitely often, and thus see that the true value of pi(x) is a natural boundary for these techniques

MSC Class: 11N05 (Primary); 11N56; 11J82 (Secondary)