The famous Riemann Hypothesis is equivalent to the assertion that
pi(10^22) = 201467286689315906290 Li(10^22) = 201467286691248261498.1505... (using Maple) Log(x)/(x-1) = 201381995844659893517.7648... (pari)