双子、いとこ、およびセクシー素数カウント関数。明示的な公式 | Synapse