素数数えるプッチ神父みたいなもんか