素数を数えるんだ…