素数だ、素数を数えるんだ