リーマンの定義した素数の個数関数とは、大きさが "x" 以下の素数の個数を表す関数で、厳密には下のように定義される。