素数計数関数
素数計数関数（）とは、正の実数にそれ以下の素数の個数を対応させる関数のことであり、("x") で表す。