素数数えていいか?