与えられた数より小さい素数の個数について