素数を数えるの元ネタってもしかしてこれ?