Prime-counting function
 log(x), and li(x)

The table shows how the three functions π (x), x / log(x), and li(x) compared at powers of 10. See also, and

In the On-Line Encyclopedia of Integer Sequences, the π (x) column is sequence OEIS: A006880, π (x) − x / log x is sequence OEIS: A057835, and li(x) − π (x) is sequence OEIS: A057752.

The value for π (10) was originally computed by J. Buethe, J. Franke, A. Jost, and T. Kleinjung assuming the Riemann hypothesis. It was later verified unconditionally in a computation by D. J. Platt. The value for π (10) is due to J. Buethe, J. Franke, A. Jost, and T. Kleinjung. The value for π (10) was computed by D. B. Staple. All other prior entries in this table were also verified as part of that work.

The values for 10, 10, and 10 were announced by David Baugh and Kim Walisch in 2015, 2020, and 2022, respectively.
keywords:letter_frequency