素数定理
表は π(x) 、 x/log(x) 、 li(x) の値とそれらの比較の表である。

π(10) の値はもともとリーマン予想を仮定して計算されたが、その後無条件で証明された。