素数計数関数
素数計数関数(英: Prime-counting function)とは、正の実数にそれ以下の素数の個数を対応させる関数のことであり、π(x) で表す。