अभाज्य संख्या प्रमेय

गणित में, अभाज्य संख्या प्रमेय (पीएनटी) सकारात्मक पूर्णांकों के बीच अभाज्य संख्याओं के विषम विश्लेषण वितरण का वर्णन करता है। यह सहज ज्ञान युक्त विचार को औपचारिक रूप देता है कि प्राइम कम सामान्य हो जाते हैं क्योंकि वे उस दर को स्पष्ट रूप से मापते हैं जिस पर यह घटित होता है। जैक्स हैडमार्ड द्वारा प्रमेय को स्वतंत्र रूप से सिद्ध किया गया था और चार्ल्स जीन डे ला वाली पुसिन 1896 में बर्नहार्ड रीमैन (विशेष रूप से, रीमैन जीटा फलन) द्वारा प्रस्तुत किए गए विचारों का उपयोग करते हुए।

इस तरह का पहला वितरण $π(N) ~ N⁄log(N)$ पाया गया है, जहाँ $π(N)$ प्राइम-काउंटिंग फलन है (N से कम या उसके सामान्य प्राइम्स की संख्या) और $log(N)$ का प्राकृतिक लघुगणक $N$ है. इसका कारण है कि अधिक बड़े के लिए $N$ संभावना है कि यादृच्छिक पूर्णांक से अधिक $N$ नहीं है प्राइम $1 / log(N)$ के बहुत निकट है. परिणाम स्वरुप, अधिकतम के साथ यादृच्छिक पूर्णांक $2n$ अंक (पर्याप्त बड़े $n$ के लिए) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग $n$ आधा है । उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग ($log(10^{1000}) ≈ 2302.6$) अभाज्य है, जबकि अधिकतम 2000 अंकों के सकारात्मक पूर्णांकों में से, 4600 में लगभग $log(10^{2000}) ≈ 4605.2$ अभाज्य है दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर $N$ पूर्णांक सामान्यतः $log(N)$ है.

कथन


माना $π(x)$ प्राइम-काउंटिंग फलन बनें, जो प्राइम्स की संख्या से कम या उसके सामान्य $x$ हो, किसी भी वास्तविक संख्या $x$ के लिए. उदाहरण के लिए, $x / log x$ क्योंकि चार अभाज्य संख्याएँ (2, 3, 5 और 7) 10 से कम या उसके सामान्य हैं। अभाज्य संख्या प्रमेय तब बताता है कि $Li(x)$ का अच्छा अनुमान $x / log x$ है (जहाँ log का अर्थ है प्राकृतिक लघुगणक), इस अर्थ में कि दो कार्यों के भागफल के कार्य की सीमा $Li(x)$ और $x / log x$ जैसा $x$ बिना किसी सीमा के बढ़ता है :


 * $$\lim_{x\to\infty}\frac{\;\pi(x)\;}{\;\left[ \frac{x}{\log(x)}\right]\;} = 1,$$

अभाज्य संख्याओं के वितरण के उपगामी नियम के रूप में जाना जाता है। स्पर्शोन्मुख संकेतन का उपयोग करके इस परिणाम को इस रूप में पुनर्स्थापित किया जा सकता है


 * $$\pi(x)\sim \frac{x}{\log x}.$$

यह संकेतन (और प्रमेय) दो कार्यों के अंतर की सीमा के बारे में कुछ नहीं कहता है इस प्रकार $x$ बिना सीमा के बढ़ता है। इसके अतिरिक्त, प्रमेय कहता है कि $Li(x)$ अनुमानित $π(x)$ इस अर्थ में कि इस सन्निकटन की सापेक्ष त्रुटि 0 तक पहुँचती है $x$ बिना सीमा के बढ़ता है।

अभाज्य संख्या प्रमेय इस कथन के समतुल्य है कि $x$वें अभाज्य संख्या $x$ संतुष्ट


 * $$p_n \sim n\log(n),$$

स्पर्शोन्मुख संकेतन का अर्थ है, फिर से, कि इस सन्निकटन की सापेक्ष त्रुटि 0 के रूप में पहुंचती है $x$ बिना सीमा के बढ़ता है। उदाहरण के लिए, द $n$वें अभाज्य संख्या है $p_{n}$, और ($n$) log ($2$) तक चक्कर लगाता है $8,512,677,386,048,191,000$, लगभग 6.4% की सापेक्ष त्रुटि है।

दूसरी ओर, निम्नलिखित स्पर्शोन्मुख संबंध तार्किक रूप से समतुल्य हैं:
 * $$\begin{align}

\lim_{x\rightarrow \infty}\frac{\pi(x)\log x}{x}&=1,\\ \lim_{x\rightarrow \infty}\frac{\pi(x)\log \pi(x)}{x}&=1. \end{align} $$ जैसा कि रेखांकित किया गया प्रूफ स्केच, अभाज्य संख्या प्रमेय भी किसके समतुल्य है
 * $$\lim_{x\to\infty} \frac{\vartheta (x)}x = \lim_{x\to\infty} \frac{\psi(x)}x=1,$$

जहाँ $2$ और $2$ क्रमशः चेबीशेव फलन हैं, और
 * $$\lim_{x \to \infty} \frac{M(x)}{x}=0,$$

जहाँ $$M(x)=\sum_{n \leq x} \mu(n)$$ मेर्टेंस कार्य करता है।

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास
एंटोन फेलकेल और यूरी वेगा द्वारा तालिकाओं के आधार पर, एड्रियन मैरी लीजेंड्रे ने 1797 या 1798 में अनुमान लगाया कि $π(x)$ फलन $x / log x$ द्वारा अनुमानित है, जहाँ $7,967,418,752,291,745,000$ और $ϑ$ अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर लीजेंड्रे स्थिरांक बनाया जाता है, जिसके साथ $Li(x) − π(x)$ और $π(x)$. कार्ल फ्रेडरिक गॉस ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया था, 1849 में अपने स्वयं के स्मरण के अनुसार 1838 में पीटर गुस्ताव लेज्यून डिरिचलेट अपने स्वयं के सन्निकटन कार्य, लॉगरिदमिक इंटीग्रल के साथ आए $π(10) = 4$ (श्रृंखला के थोड़े अलग रूप के अनुसार, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं इस प्रकार $x / log x$ और $π(x)$ ऊपर कहा गया है, चूँकि यह पता चला है कि डिरिक्लेट का सन्निकटन अधिक उत्तम है यदि कोई भागफल के अतिरिक्त अंतरों पर विचार करता है।

1848 और 1850 के दो पत्रों में, रूसी गणितज्ञ पफनुटी चेबीशेव ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया था। जीटा फलन के उपयोग के लिए उनका काम उल्लेखनीय है $π(x)$, तर्क के वास्तविक मूल्यों $ψ$ के लिए, जैसा कि 1737 की प्रारंभ में लियोनहार्ड यूलर के कार्यों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख नियम के थोड़े अशक्त रूप को सिद्ध करने में सफल रहे, अर्थात्, यदि सीमा के रूप में $A$ की अनंतता में जाता है $x / log x$ बिल्कुल उपस्थित है, तो यह अनिवार्य रूप से के सामान्य है। वह बिना नियम यह सिद्ध करने में सक्षम था कि यह अनुपात 1 के निकट दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप $B$ से बड़ा. चूँकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को सिद्ध नहीं करता है, किन्तु उसका अनुमान है $x / log x$ बर्ट्रेंड के अभिधारणा को सिद्ध करने के लिए पर्याप्त सशक्त थे कि उनके बीच अभाज्य संख्या $π(x)$ और $π(a)$ उपस्थित है किसी भी पूर्णांक के लिए $a / (A log a + B)$.है

अभाज्य संख्याओं के वितरण से संबंधित महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार प्रस्तुत किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण जटिल चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फलन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक कार्य के अध्ययन के लिए जटिल विश्लेषण के विधियों को प्रयुक्त करने का विचार है $A = 1$ उत्पत्ति रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए और चार्ल्स जीन डे ला वाली पुसिन और उसी वर्ष (1896) में दिखाई दिया था। दोनों प्रमाणों ने जटिल विश्लेषण से विधियों का उपयोग किया था, प्रमाण के मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा कार्य करता है $B = −1.08366$ चर के सभी जटिल मानों $s$ के लिए शून्य नहीं है जिसका रूप  $li(x)$ साथ $π(x)$ है.

20वीं शताब्दी के समय, हैडमार्ड और डे ला वाली पुसिन के प्रमेय को प्रधान संख्या प्रमेय के रूप में भी जाना जाने लगा था। इसके कई अलग-अलग प्रमाण पाए गए, जिनमें एटले सेलबर्ग के प्राथमिक प्रमाण भी सम्मिलित हैं और पॉल एर्डोस न्यूमैन का प्रमाण यकीनन प्रमेय का सबसे सरल ज्ञात प्रमाण है, चूँकि यह इस अर्थ में गैर-प्रारंभिक है कि यह कॉची के अभिन्न प्रमेय को जटिल विश्लेषण से उपयोग करता है।

== प्रमाण स्केच                                                                                                                                                                                                    == यहाँ टेरेंस ताओ के व्याख्यान में उल्लिखित प्रमाण का रेखाचित्र है। पीएनटी के अधिकांश प्रमाणों की तरह, यह समस्या को कम सहज, किन्तु उत्तम व्यवहार वाले, प्राइम-काउंटिंग फलन के रूप में सुधारने से शुरू होता है। यह विचार है कि प्राइम्स (या संबंधित सेट जैसे कि प्राइम पॉवर्स का सेट) को वेट के साथ गिनना है ताकि फलन में स्मूद एसिम्प्टोटिक व्यवहार हो सके। इस तरह का सबसे आम सामान्यीकृत गिनती फलन चेबीशेव फलन है $x / log(x)$, द्वारा परिभाषित


 * $$\psi(x) = \!\!\!\! \sum_\stackrel{p^k \le x,}{p \text{ is prime}} \!\!\!\! \log p \; .$$

इसे कभी-कभी लिखा जाता है


 * $$\psi(x) = \sum_{n\le x} \Lambda(n) \; ,$$

जहाँ $ζ(s)$ मैंगोल्ड्ट फलन द्वारा है, अर्थात्


 * $$\Lambda(n) = \begin{cases} \log p & \text{ if } n = p^k \text{ for some prime } p \text{ and integer } k \ge 1, \\ 0 & \text{otherwise.} \end{cases}$$

अब यह जाँचना अपेक्षाकृत आसान हो गया है कि पीएनटी उस दावे के समतुल्य है
 * $$\lim_{x\to\infty} \frac{\psi(x)}{x} = 1 \; .$$

दरअसल, यह आसान अनुमानों से चलता है
 * $$\psi(x) = \sum_\stackrel{p\le x}{p \text{ is prime}} \log p \left\lfloor \frac{\log x}{\log p} \right\rfloor \le \sum_\stackrel{p\le x}{p \text{ is prime}} \log x = \pi(x)\log x$$

और (बिग ओ नोटेशन का उपयोग करके | big $x$ नोटेशन) किसी के लिए $π(x) / (x / log(x))$,
 * $$\psi(x) \ge \!\!\!\!\sum_\stackrel{x^{1-\varepsilon}\le p\le x}{p \text{ is prime}}\!\!\!\! \log p\ge\!\!\!\!\sum_\stackrel{x^{1-\varepsilon}\le p\le x}{p \text{ is prime}}\!\!\!\!(1-\varepsilon)\log x=(1-\varepsilon)\left(\pi(x)+O\left(x^{1-\varepsilon}\right)\right)\log x \; .$$

अगला कदम इसके लिए उपयोगी प्रतिनिधित्व खोजना है $π(x)$. माना $n$ रिमेंन जीटा फलन हो। यह दिखाया जा सकता है $2n$ वॉन मैंगोल्ड फलन से संबंधित है $n ≥ 2$, और इसलिए करने के लिए $π(x)$, संबंध के माध्यम से


 * $$-\frac{\zeta'(s)}{\zeta(s)} = \sum_{n = 1}^\infty \Lambda(n) \, n^{-s} \; .$$

मेलिन रूपांतरण और पेरोन के सूत्र का उपयोग करते हुए इस समीकरण और जेटा फलन के संबंधित गुणों का नाजुक विश्लेषण दिखाता है कि गैर-पूर्णांक के लिए $x$ समीकरण


 * $$\psi(x) = x \; - \; \log(2\pi) \; - \sum\limits_{\rho :\, \zeta(\rho) = 0} \frac{x^\rho}{\rho}$$

धारण करता है, जहां जीटा फलन के सभी शून्यों (तुच्छ और गैर-तुच्छ) पर योग होता है। यह हड़ताली सूत्र तथाकथित स्पष्ट सूत्रों (एल-फलन) में से है, और पहले से ही उस परिणाम का सूचक है जिसे हम सिद्ध करना चाहते हैं, क्योंकि शब्द $s$ (के सही स्पर्शोन्मुख क्रम होने का दावा किया $ζ(s)$) दाहिने हाथ की ओर प्रकट होता है, उसके बाद (संभवत:) निम्न-क्रम स्पर्शोन्मुख शब्द।

प्रमाण के अगले चरण में जीटा फलन के शून्यों का अध्ययन सम्मिलित है। तुच्छ शून्य −2, −4, −6, −8, ... को अलग से संभाला जा सकता है:
 * $$\sum_{n=1}^\infty \frac{1}{2n\,x^{2n}} = -\frac{1}{2}\log\left(1-\frac{1}{x^2}\right),$$

जो बड़े पैमाने पर गायब हो जाता है $O$. गैर-तुच्छ शून्य, अर्थात् महत्वपूर्ण पट्टी पर $s = 1 + it$, संभावित रूप से मुख्य शब्द के तुलनीय स्पर्शोन्मुख क्रम का हो सकता है $x$ अगर $t > 0$, इसलिए हमें यह दिखाने की आवश्यकता है कि सभी शून्यों का वास्तविक भाग 1 से कम है।

गैर-लुप्त होने पर $ψ(x)$
ऐसा करने के लिए, हम इसे मान लेते हैं $Λ(n)$ अर्ध-विमान में मेरोमॉर्फिक फलन है $ε > 0$, और वहाँ साधारण ध्रुव को छोड़कर वहाँ विश्लेषणात्मक है $ψ(x)$, और यह कि उत्पाद सूत्र है
 * $$\zeta(s)=\prod_p\frac{1}{1-p^{-s}} $$

के लिए $ζ(s)$. यह उत्पाद सूत्र पूर्णांकों के अद्वितीय अभाज्य गुणनखंडन के अस्तित्व से अनुसरण करता है, और यह दर्शाता है $ζ(s)$ इस क्षेत्र में कभी भी शून्य नहीं होता है, इसलिए इसका लघुगणक वहां परिभाषित किया जाता है और
 * $$\log\zeta(s)=-\sum_p\log \left(1-p^{-s} \right)=\sum_{p,n}\frac{p^{-ns}}{n} \; .$$

लिखना $Λ(n)$ ; तब


 * $$\big| \zeta(x+iy) \big| = \exp\left( \sum_{n,p} \frac{\cos ny\log p}{np^{nx}} \right) \; .$$

अब पहचान का निरीक्षण करें
 * $$ 3 + 4 \cos \phi+ \cos 2 \phi = 2 ( 1 + \cos \phi )^2\ge 0 \; ,$$

ताकि


 * $$\left| \zeta(x)^3 \zeta(x+iy)^4 \zeta(x+2iy) \right| = \exp\left( \sum_{n,p} \frac{3 + 4 \cos(ny\log p) + \cos( 2 n y \log p )}{np^{nx}} \right) \ge 1$$

सभी के लिए $ψ(x)$. मान लीजिए कि अब $ψ(x)$. निश्चित रूप से $x$ शून्य नहीं है, क्योंकि $0 ≤ Re(s) ≤ 1$ पर साधारण पोल है $Re(ρ) = 1$. लगता है कि $Re(s) = 1$ और जाने $x$ ऊपर से 1 की ओर रुख करें। तब से $$\zeta(s)$$ पर साधारण पोल है $ζ(s)$ और $Re(s) > 0$ विश्लेषणात्मक रहता है, पिछली असमानता में बायां हाथ 0 की ओर जाता है, विरोधाभास।

अंत में, हम यह निष्कर्ष निकाल सकते हैं कि पीएनटी अनुमानिक रूप से सत्य है। प्रमाण को सख्ती से पूरा करने के लिए अभी भी गंभीर तकनीकीताओं को दूर करना है, इस तथ्य के कारण कि स्पष्ट सूत्र में जीटा शून्य से अधिक का योग $s = 1$ पूरी तरह अभिसरण नहीं करता है किन्तु केवल सनियम और प्रमुख मूल्य अर्थ में। इस समस्या से निपटने के कई तरीके हैं किन्तु उनमें से कई के लिए नाजुक जटिल-विश्लेषणात्मक अनुमानों की आवश्यकता होती है। एडवर्ड्स की किताब विवरण प्रदान करता है। इकेहारा के ताउबेरियन प्रमेय का उपयोग करने के लिए और तरीका है, चूँकि यह प्रमेय अपने आप में सिद्ध करने के लिए अधिक कठिन है। डीजे न्यूमैन ने देखा कि अभाज्य संख्या प्रमेय के लिए इकेहारा के प्रमेय की पूरी ताकत की आवश्यकता नहीं है, और कोई विशेष मामले से बच सकता है जिसे सिद्ध करना बहुत आसान है।

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण
डी. जे. न्यूमैन अभाज्य संख्या प्रमेय (पीएनटी) का त्वरित प्रमाण देते हैं। जटिल विश्लेषण पर भरोसा करने के आधार पर प्रमाण गैर-प्राथमिक है, किन्तु विषय में पहले पाठ्यक्रम से केवल प्राथमिक तकनीकों का उपयोग करता है: कॉची का अभिन्न सूत्र, कॉची का अभिन्न प्रमेय और जटिल अभिन्न का अनुमान। यहाँ इस प्रमाण का संक्षिप्त विवरण दिया गया है। देखना पूरी जानकारी के लिए।

फलन के अतिरिक्त प्रूफ़ पिछले सेक्शन की तरह ही प्रिलिमिनरीज़ का उपयोग करता है $\psi$, चेबिशेव फलन$ \quad \vartheta(x) = \sum_{p\le x} \log p $ प्रयोग किया जाता है, जो कि श्रृंखला से कुछ पदों को हटाकर प्राप्त किया जाता है $\psi$. यह दिखाना आसान है कि पीएनटी इसके सामान्य है $$\lim _{x \to \infty} \vartheta(x)/x = 1$$. इसी तरह के अतिरिक्त $$ - \frac{\zeta '(s)}{\zeta(s)} $$ कार्यक्रम $$ \Phi(s) = \sum_{p\le x} \log p\,\, p^{-s} $$ का प्रयोग किया जाता है, जो कि श्रेणी में कुछ पदों को हटाकर प्राप्त किया जाता है $$ - \frac{\zeta '(s)}{\zeta(s)} $$. कार्य $$ \Phi(s) $$ और $$ -\zeta'(s)/\zeta(s) $$ फलन होलोमोर्फिक द्वारा भिन्न होता है $$\Re s = 1$$. चूंकि, जैसा कि पिछले अनुभाग में दिखाया गया था, $$\zeta(s)$$ रेखा पर कोई शून्य नहीं है $$\Re s = 1$$, $$ \Phi(s) - \frac 1{s-1} $$ पर कोई विलक्षणता नहीं है $$\Re s = 1$$.

न्यूमैन के प्रमाण में आवश्यक जानकारी का और टुकड़ा, और जो उसकी सरल विधि में अनुमानों की कुंजी है, वह है $$\vartheta(x)/x$$ घिरा है। यह चेबीशेव के कारण सरल और आसान विधि का उपयोग करके सिद्ध होता है।

भागों द्वारा एकीकरण दिखाता है कि कैसे $$\vartheta(x)$$ और $$\Phi(s)$$ आपस में संबंधित हैं। के लिए $$\Re s > 1$$,

\Phi(s) = \int _1^\infty x^{-s} d\vartheta(x) =  s\int_1^\infty \vartheta(x)x^{-s-1}\,dx = s \int_0^\infty \vartheta(e^t) e^{-st} \, dt. $$ न्यूमैन की विधि अभिन्न दिखा कर पीएनटी को सिद्ध करती है

I = \int_0 ^\infty \left( \frac{\vartheta(e^t)}{e^t} -1 \right) \, dt. $$ अभिसरण करता है, और इसलिए इंटीग्रैंड शून्य हो जाता है $$t \to \infty$$, जो पीएनटी है। सामान्यतः, अनुचित इंटीग्रल के अभिसरण का कारण यह नहीं है कि इंटीग्रैंड अनंत पर शून्य हो जाता है, क्योंकि यह दोलन कर सकता है, किन्तु चूंकि $$\vartheta$$ बढ़ रहा है, इस मामले में दिखाना आसान है।

का अभिसरण दिखाने के लिए $$ I $$, के लिए $$\Re z > 0$$ माना

g_T(z) = \int_0^T f(t) e^{-zt}\, dt $$ और $$ g(z) = \int_0^\infty f(t) e^{-zt}\, dt $$ जहाँ $$ f(t) = \frac {\vartheta(e^t)}{e^t} -1 $$ तब

\lim_{T \to \infty} g_T(z) = g(z) = \frac{\Phi(s)}{s} - \frac 1 {s-1}  \quad \quad  \text{where} \quad  z = s -1 $$ जो लाइन पर होलोमोर्फिक फलन के सामान्य है $$\Re z = 0$$.

अभिन्न का अभिसरण $$ I $$, और इस प्रकार पीएनटी, यह दिखा कर सिद्ध होता है $$\lim_{T \to \infty} g_T(0) = g(0)$$. इसमें सीमाओं के क्रम में परिवर्तन सम्मिलित है क्योंकि इसे लिखा जा सकता है $ \lim_{T \to \infty} \lim_{z \to 0} g_T(z) = \lim_{z \to 0} \lim_{T \to \infty}g_T(z) $ और इसलिए एबेलियन और टाउबेरियन प्रमेय|टाउबेरियन प्रमेय के रूप में वर्गीकृत किया गया है।

के अंतर $$g(0) - g_T(0)$$ कॉची के अभिन्न सूत्र का उपयोग करके व्यक्त किया जाता है और फिर के लिए छोटा दिखाया जाता है $$ T $$ इंटीग्रैंड का अनुमान लगाकर बड़ा। हल करना $$R>0$$ और $$\delta >0$$ ऐसा है कि $$g(z)$$ उस क्षेत्र में होलोमोर्फिक है जहां $$ |z| \le R \text{ and } \Re z \ge  - \delta$$, और जाने $$C$$ इस क्षेत्र की सीमा हो। चूँकि 0 क्षेत्र के भीतरी भाग में है, कॉची का समाकल सूत्र देता है

g(0) - g_T(0) = \frac 1 {2 \pi i }\int_C \left( g(z) - g_T(z) \right ) \frac {dz} z = \frac 1 {2 \pi i }\int_C \left( g(z) - g_T(z) \right ) F(z)\frac {dz} z $$ जहाँ $$ F(z) = e^{zT}\left( 1 + \frac {z^2}{R^2}\right) $$ न्यूमैन द्वारा प्रस्तुत किया गया कारक है, जो तब से अभिन्न को नहीं बदलता है $$F$$ संपूर्ण कार्य है और $$F(0) =1$$.

अभिन्न का अनुमान लगाने के लिए, समोच्च को तोड़ें $$ C $$ दो भागों में, $$ C = C_+ + C_- $$ जहाँ $$C_+ = C \cap \left \{ z \, \vert \, \Re z > 0 \right \}$$ और $$C_- \cap \left \{ \Re z \le 0 \right \}$$. तब $$g(0)- g_T(0) = \int_{C_+}\int_T^\infty H(t,z) dt dz - \int_{C_-}\int_0^T H(t,z) dt dz + \int_{C_-}g(z)F(z)\frac {dz}{2\pi i z}$$जहाँ $$H(t,z) = f(t)e^{-tz}F(z)/2 \pi i$$. तब से $$\vartheta(x)/x$$, और इसलिए $$ f(t) $$, बँधा हुआ है, चलो $$B$$ के निरपेक्ष मान के लिए ऊपरी सीमा हो $$f(t)$$. यह अनुमान के साथ बंधा हुआ है $$ $$ के लिए $$ $$ देता है कि निरपेक्ष मान में पहला समाकल है $$\le B/R$$. इंटीग्रैंड ओवर $$C_-$$ दूसरे इंटीग्रल में संपूर्ण कार्य है, इसलिए कॉची के इंटीग्रल प्रमेय द्वारा, समोच्च $$C_-$$ त्रिज्या के अर्धवृत्त में संशोधित किया जा सकता है $$R$$ इंटीग्रल को बदले बिना बाएं आधे विमान में, और पहले इंटीग्रल के लिए वही तर्क दूसरे इंटीग्रल का निरपेक्ष मान देता है $$\le B/R$$. अंत में, दे रहा हूँ $$T \to \infty$$, तीसरा अभिन्न शून्य हो जाता है $$e^{zT}$$ और इसलिए $$F$$ समोच्च पर शून्य हो जाता है। दो अनुमानों और सीमा को मिलाकर प्राप्त करें
 * F| \le 2 \exp(T \Re z)|\Re z|/R
 * z| = R

\limsup_{T \to \infty }|g(0) - g_T(0) | \le \frac {2 B} R. $$ यह किसी के लिए भी है $$R$$ इसलिए $$\lim_{T \to \infty} g_T(0) = g(0)$$, और पीएनटी इस प्रकार है।

लॉगरिदमिक इंटीग्रल
के संदर्भ में प्राइम-काउंटिंग फलन उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट मेंSur l'usage des séries infinies dans la théorie des nombres, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के अतिरिक्त श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के अनुसार) कि इससे भी उत्तम सन्निकटन $Re(s) > 1$ लघुगणक समाकल फलन फलन द्वारा दिया जाता है $ζ(s)$, द्वारा परिभाषित


 * $$ \operatorname{Li}(x) = \int_2^x \frac{dt}{\log t} = \operatorname{li}(x) - \operatorname{li}(2). $$

वास्तव में, यह अभिन्न इस धारणा का दृढ़ता से सुझाव देता है कि प्राइम्स का घनत्व चारों ओर है $x$ होना चाहिए $s = x + iy$. यह फलन स्पर्शोन्मुख विस्तार द्वारा लघुगणक से संबंधित है


 * $$ \operatorname{Li}(x) \sim \frac{x}{\log x} \sum_{k=0}^\infty \frac{k!}{(\log x)^k} = \frac{x}{\log x} + \frac{x}{(\log x)^2} + \frac{2x}{(\log x)^3} + \cdots $$

अतः अभाज्य संख्या प्रमेय को इस प्रकार भी लिखा जा सकता है $x > 1$. दरअसल, दूसरे पेपर में 1899 में डे ला वल्ली पौसिन ने यह सिद्ध कर दिया


 * $$ \pi(x) = \operatorname{Li} (x) + O \left(x e^{-a\sqrt{\log x}}\right) \quad\text{as } x \to \infty$$

कुछ सकारात्मक स्थिरांक के लिए $y$, जहाँ $ζ(1 + iy) = 0$ बिग ओ नोटेशन है|बड़ा $x$ अंकन। इसमें सुधार किया गया है


 * $$\pi(x) = \operatorname{li} (x) + O \left(x \exp \left( -\frac{A(\log x)^\frac35}{(\log \log x)^\frac15} \right) \right)$$ जहाँ $$A = 0.2098$$.

2016 में, Trudgian के बीच के अंतर के लिए स्पष्ट ऊपरी सीमा सिद्ध हुई $$\pi(x)$$ और $$\operatorname{li}(x)$$:
 * $$\big| \pi(x) - \operatorname{li}(x) \big| \le 0.2795 \frac{x}{(\log x)^{3/4}}

\exp \left( -\sqrt{ \frac{\log x}{6.455} } \right)$$ के लिए $$x \ge 229$$. रीमैन ज़ेटा फलन और के बीच संबंध $ζ(s)$ यह कारण है कि रीमैन परिकल्पना का संख्या सिद्धांत में अधिक महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में सम्मिलित त्रुटि का उत्तम अनुमान लगाएगा। अधिक विशेष रूप से, हेल्ज वॉन कोच ने 1901 में दिखाया यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है


 * $$ \pi(x) = \operatorname{Li} (x) + O\left(\sqrt x \log x\right) $$

(यह अंतिम अनुमान वास्तव में रीमैन परिकल्पना के समतुल्य है)। बड़े में सम्मिलित निरंतर $t$ 1976 में लोवेल स्कोनफेल्ड द्वारा अंकन का अनुमान लगाया गया था: रीमैन परिकल्पना मानते हुए,


 * $$\big|\pi(x) - \operatorname{li}(x)\big| < \frac{\sqrt x \log x}{8\pi}$$

सभी के लिए $s = 1$. उन्होंने चेबिशेव फलन | $a$:


 * $$\big|\psi(x) - x\big| < \frac{\sqrt x (\log x)^2 }{8\pi}$$

सभी के लिए $x > 1$. इस बाद की सीमा को शक्ति नियम (जब पूर्णांकों पर यादृच्छिक कार्य के रूप में माना जाता है) के लिए भिन्नता व्यक्त करने के लिए दिखाया गया है और $O$गुलाबी शोर और ट्वीडी वितरण के अनुरूप भी। (ट्वीडी डिस्ट्रीब्यूशन स्केल अपरिवर्तनीय डिस्ट्रीब्यूशन के परिवार का प्रतिनिधित्व करते हैं जो केंद्रीय सीमा प्रमेय के सामान्यीकरण के लिए अभिसरण के फोकस के रूप में कार्य करते हैं। )

लॉगरिदमिक इंटीग्रल फलन $s = 1$ से बड़ा है $ζ(x + 2iy)$ के छोटे मूल्यों के लिए $O$. ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ शक्ति है, की गिनती है p $ψ$}एक प्राइम का $1⁄f$ के रूप में गिना जाता है $x$ प्रधान का। इससे पता चलता है $ψ(x)$ से बड़ा होना चाहिए $π(x)$ द्वारा सामान्यतः $$\ \tfrac{1}{2} \operatorname{li}(\sqrt{x})\ ,$$ और विशेष रूप से हमेशा इससे बड़ा होना चाहिए $Li(x)$. हालाँकि, 1914 में, जॉन एडेंसर लिटलवुड|जे. ई। लिटलवुड ने सिद्ध कर दिया $$\ \pi(x) - \operatorname{li}(x)\ $$ परिवर्तन संकेत असीम रूप से अक्सर। का पहला मान $n$ जहाँ $1 / log t$ से अधिक है $π(x) ~ Li(x)$ शायद आसपास है $O(...)$; अधिक विवरण के लिए Skewes' number पर लेख देखें। (दूसरी ओर, ऑफसेट लॉगरिदमिक इंटीग्रल $π(x)$ की तुलना में छोटा है $ϑ(x)$ पहले से ही के लिए $ψ(x)$; वास्तव में, $x ≥ 2657$, जबकि $x ≥ 73.2$.)

प्राथमिक प्रमाण
बीसवीं शताब्दी के पूर्वार्द्ध में, कुछ गणितज्ञों (विशेष रूप से जी.एच. हार्डी) का मानना ​​था कि गणित में प्रमाण विधियों का पदानुक्रम उपस्थित है जो इस बात पर निर्भर करता है कि किस प्रकार की संख्याएँ (पूर्णांक, वास्तविक संख्या, सम्मिश्र संख्या) प्रमाण के लिए आवश्यक हैं, और यह कि प्रधान संख्या प्रमेय (पीएनटी) जटिल विश्लेषण की आवश्यकता के आधार पर गहन प्रमेय है। वीनर के टैबेरियन प्रमेय पर आधारित पीएनटी के प्रमाण से यह विश्वास कुछ हद तक हिल गया था, चूँकि इसे अलग रखा जा सकता था यदि वीनर के प्रमेय को जटिल चर विधियों के सामान्य गहराई माना जाता था।

मार्च 1948 में, एटल सेलबर्ग ने प्रारंभिक विधियों से, स्पर्शोन्मुख सूत्र की स्थापना की
 * $$\vartheta ( x )\log ( x ) + \sum\limits_{p \le x} {\log ( p )}\ \vartheta \left( {\frac{x}{p}} \right) = 2x\log ( x ) + O( x )$$

जहाँ
 * $$\vartheta ( x ) = \sum\limits_{p \le x} {\log ( p )}$$

प्राइम्स के लिए $p$. उसी वर्ष जुलाई तक, सेलबर्ग और पॉल एर्डोस दोनों ने प्रारंभिक बिंदु के रूप में सेलबर्ग के असिम्प्टोटिक सूत्र का उपयोग करते हुए, पीएनटी के प्रारंभिक प्रमाण प्राप्त किए थे। इन प्रमाणों ने प्रभावी रूप से इस धारणा को शांत करने के लिए रखा कि पीएनटी उस अर्थ में गहरा था, और यह दिखाया कि तकनीकी रूप से प्राथमिक तरीके अधिक शक्तिशाली थे, जैसा कि मामला माना जाता था। पीएनटी के प्रारंभिक प्रमाणों के इतिहास पर, जिसमें एर्डोस-सेलबर्ग प्राथमिकता विवाद सम्मिलित है, डोरियन गोल्डफेल्ड द्वारा लेख देखें।

एर्डोस और सेल्बर्ग के नतीजे के महत्व के बारे में कुछ बहस है। संख्या सिद्धांत में प्राथमिक प्रमाण की धारणा की कोई कठोर और व्यापक रूप से स्वीकृत परिभाषा नहीं है, इसलिए यह स्पष्ट नहीं है कि उनका प्रमाण किस अर्थ में प्राथमिक है। चूँकि यह जटिल विश्लेषण का उपयोग नहीं करता है, यह वास्तव में पीएनटी के मानक प्रमाण से कहीं अधिक तकनीकी है। प्रारंभिक प्रमाण की संभावित परिभाषा वह है जिसे पहले क्रम के पियानो अंकगणित में किया जा सकता है। संख्या-सैद्धांतिक कथन हैं (उदाहरण के लिए, पेरिस-हैरिंगटन प्रमेय) द्वितीय क्रम अंकगणित का उपयोग करके सिद्ध किया जा सकता है, किन्तु प्रथम-क्रम अंकगणितीय नहीं। प्रथम-क्रम विधियाँ, किन्तु ऐसे प्रमेय आज तक दुर्लभ हैं। एर्डोस और सेल्बर्ग के प्रमाण को निश्चित रूप से पीनो अंकगणित में औपचारिक रूप दिया जा सकता है, और 1994 में, चारलांबोस कॉर्नारोस और कोस्टास दिमित्राकोपोलोस ने सिद्ध किया कि उनके प्रमाण को पीए के बहुत ही अशक्त टुकड़े में औपचारिक रूप दिया जा सकता है, अर्थात् $li(x)$. चूँकि, यह इस सवाल का समाधान नहीं करता है कि पीए में पीएनटी के मानक प्रमाण को औपचारिक रूप दिया जा सकता है या नहीं।

कंप्यूटर सत्यापन
2005 में, एवीगाड एट अल। पीएनटी के Erdos-Selberg प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए मैं इसाबेल के प्रमेय को सिद्ध करूंगा को नियोजित किया। यह पीएनटी का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने विश्लेषणात्मक के अतिरिक्त एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक कार्य की धारणाओं को प्रयुक्त कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था। 2009 में, जॉन हैरिसन (गणितज्ञ) ने एचओएल लाइट को जटिल विश्लेषण का उपयोग करते हुए प्रमाण को औपचारिक रूप देने के लिए नियोजित किया। कॉची अभिन्न सूत्र समेत आवश्यक विश्लेषणात्मक मशीनरी विकसित करके, हैरिसन अधिक सम्मिलित 'प्राथमिक' एर्दोस-सेलबर्ग के अतिरिक्त प्रत्यक्ष, आधुनिक और सुरुचिपूर्ण प्रमाण को औपचारिक रूप देने में सक्षम था। तर्क ।

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय
माना $π(x)$ अंकगणितीय प्रगति में प्राइम्स की संख्या को निरूपित करें $li(x)$ जो इससे कम हैं $1⁄n$. डिरिचलेट और लिजेंड्रे ने अनुमान लगाया, और डे ला वल्ली पुसिन ने सिद्ध किया कि अगर $x$ और $p$ Coprime हैं, तो


 * $$\pi_{d,a}(x) \sim \frac{ \operatorname{Li}(x) }{ \varphi(d) } \ ,$$

जहाँ $x$ यूलर का कुल कार्य है। दूसरे शब्दों में, अभाज्य संख्याएँ अवशेष वर्गों के बीच समान रूप से वितरित की जाती हैं $π(x)$ मॉड्यूलर अंकगणित $a$ साथ $π(x)$. यह अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय से अधिक सशक्त है (जो केवल यह बताता है कि प्रत्येक वर्ग में अभाज्य संख्याओं की अनंतता है) और न्यूमैन द्वारा उनके अभाज्य संख्या प्रमेय के प्रमाण के लिए उपयोग की जाने वाली समान विधियों का उपयोग करके सिद्ध किया जा सकता है। सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए अच्छा अनुमान देता है।

बेनेट एट अल। निम्नलिखित अनुमान को सिद्ध किया जिसमें स्पष्ट स्थिरांक हैं $d$ और $φ$ (प्रमेय 1.3): माना $d$ $$\ge 3$$ पूर्णांक बनें और दें $A$ पूर्णांक बनें जो कोप्राइम है $B$. फिर सकारात्मक स्थिरांक हैं $d$ और $a$ ऐसा है कि
 * $$ \left | \pi_{d,a}(x) - \frac{\ \operatorname{Li}(x)\ }{\ \varphi(d)\ } \right | < \frac{A\ x}{\ (\log x)^2\ } \quad \text{ for all } \quad x \ge B\ ,$$

जहाँ
 * $$ A = \frac{1}{\ 840\ } \quad \text{ if } \quad 3 \leq d \leq 10^4 \quad \text{ and } \quad A = \frac{1}{\ 160\ } \quad \text{ if } \quad d > 10^4 ~,$$ और
 * $$B = 8 \cdot 10^9 \quad \text{ if } \quad  3 \leq d \leq 10^5 \quad \text{ and } \quad B = \exp(\ 0.03\ \sqrt{d\ }\ (\log{d})^3 \ ) \quad \text{ if } \quad d > 10^5\ .$$

अभाज्य संख्या जाति
चूँकि हमारे पास विशेष रूप से है


 * $$\pi_{4,1}(x) \sim \pi_{4,3}(x) \ ,$$

अनुभवजन्य रूप से 3 के सर्वांगसम अभाज्य संख्याएँ अधिक हैं और इस अभाज्य संख्या की दौड़ में लगभग हमेशा आगे रहती हैं; पहला उत्क्रमण पर होता है $π(x)$. हालाँकि लिटिलवुड ने 1914 में दिखाया कि फलन के लिए अपरिमित रूप से अनेक चिह्न परिवर्तन हैं


 * $$\pi_{4,1}(x) - \pi_{4,3}(x) ~,$$

इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो $li(x)$ अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या हमेशा ऐसा ही होता है $x ~$ और $Li(x)$ स्थान बदलें जब $d$ और $A$ कोप्राइम हैं $B$. एंड्रयू ग्रानविले और मार्टिन संपूर्ण विवरण और सर्वेक्षण देते हैं।

प्राइम-काउंटिंग फलन
पर गैर-असिम्प्टोटिक सीमाएँ अभाज्य संख्या प्रमेय उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी परिणाम देता है $π(x)$ सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए $x = 2$, वहाँ है $a$ ऐसा कि सभी के लिए $Li(2) = 0$,
 * $$ (1-\varepsilon)\frac {x}{\log x} \; < \; \pi(x) \; < \; (1+\varepsilon)\frac {x}{\log x} \; .$$

चूँकि, उत्तम सीमा है $π(2) = 1$ जाना जाता है, उदाहरण के लिए पियरे डुसार्ट का
 * $$ \frac{x}{\log x}\left(1+\frac{1}{\log x}\right) \; < \; \pi(x) \; < \; \frac{x}{\log x}\left(1+\frac{1}{\log x}+\frac{2.51}{(\log x)^2}\right) \; .$$

पहली असमानता सभी के लिए है $IΔ_{0} + exp$ और दूसरा के लिए $π_{d,a}(x)$. के लिए अशक्त किन्तु कभी-कभी उपयोगी बाउंड $a, a + d, a + 2d, a + 3d, ...$ है
 * $$ \frac {x}{\log x + 2} \; < \; \pi(x) \; < \; \frac {x}{\log x - 4} \; .$$

पियरे दुसर्ट की थीसिस में इस प्रकार की असमानता के सशक्त संस्करण हैं जो बड़े के लिए मान्य हैं $b$. बाद में 2010 में, दुसार्ट ने सिद्ध किया:
 * $$\begin{align}

\frac {x} {\log x - 1} \; &< \; \pi(x) &&\text{ for } x \ge 5393 \;, \text{   and }\\ \pi(x) \; &< \; \frac {x} {\log x - 1.1} && \text{ for } x \ge 60184 \;. \end{align}$$ डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए $[a]$, वहाँ है $c$ ऐसा कि सभी के लिए $gcd(a, d) = 1$,
 * $$\frac {x}{\log x - (1 - \varepsilon)} \; < \; \pi(x) \; < \; \frac {x}{\log x - (1+\varepsilon)} \; .$$

के लिए अनुमान$S$वें अभाज्य संख्या
अभाज्य संख्या प्रमेय के परिणाम के रूप में, के लिए स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है $x$वें अभाज्य संख्या, द्वारा निरूपित $x = 26861$:
 * $$p_n \sim n \log n.$$

एक उत्तम सन्निकटन है
 * $$ \frac{p_n}{n} = \log n + \log \log n - 1 + \frac{\log \log n - 2}{\log n} - \frac{(\log\log n)^2 - 6 \log \log n + 11}{2(\log n)^2} + o \left( \frac {1}{(\log n)^2}\right).$$

फिर से विचार कर रहा हूँ $S$वें अभाज्य संख्या $n$, यह अनुमान देता है $n$; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।

रोसेर की प्रमेय कहती है कि
 * $$p_n > n \log n.$$ इसे निम्नलिखित बाउंड युग्म द्वारा सुधारा जा सकता है:


 * $$ \log n + \log\log n - 1 < \frac{p_n}{n} < \log n + \log \log n \quad\text{for } n \ge 6. $$

की तालिका $π_{4,3}(x)$, $π(x;a,c)$, और $π(x;b,c)$
तालिका के स्पष्ट मानों की तुलना करती है $π(x)$ दो अनुमानों के लिए $ε > 0$ और $x > S$. अंतिम स्तंभ, $π(x)$, नीचे औसत प्रमुख अंतर है$2$.
 * {| class="wikitable" style="text-align: right"

! $8,512,677,386,048,191,000$ ! $x ≥ 599$ ! $x ≥ 355991$ ! $x ≥ 55$ ! $ε > 0$ ! $x > S$ के लिए मूल्य $p_{n}$ मूल रूप से रीमैन परिकल्पना मानते हुए गणना की गई थी; तब से इसे बिना नियम सत्यापित किया गया है।
 * 10
 * 4
 * −0.3
 * 0.921
 * 2.2
 * 2.5
 * 102
 * 25
 * 3.3
 * 1.151
 * 5.1
 * 4
 * 103
 * 168
 * 23
 * 1.161
 * 10
 * 5.952
 * 104
 * 143
 * 1.132
 * 17
 * 8.137
 * 105
 * 906
 * 1.104
 * 38
 * 10.425
 * 106
 * 1.084
 * 130
 * 12.740
 * 107
 * 1.071
 * 339
 * 15.047
 * 108
 * 1.061
 * 754
 * 17.357
 * 109
 * 1.054
 * 19.667
 * 1010
 * 1.048
 * 21.975
 * 1011
 * 1.043
 * 24.283
 * 1012
 * 1.039
 * 26.590
 * 1013
 * 1.034
 * 28.896
 * 1014
 * 1.033
 * 31.202
 * 1015
 * 1.031
 * 33.507
 * 1016
 * 1.029
 * 35.812
 * 1017
 * 1.027
 * 38.116
 * 1018
 * 1.025
 * 40.420
 * 1019
 * 1.024
 * 42.725
 * 1020
 * 1.023
 * 45.028
 * 1021
 * 1.022
 * 47.332
 * 1022
 * 1.021
 * 49.636
 * 1023
 * 1.020
 * 51.939
 * 1024
 * 1.019
 * 54.243
 * 1025
 * 1.018
 * 56.546
 * OEIS
 * }
 * 1.033
 * 31.202
 * 1015
 * 1.031
 * 33.507
 * 1016
 * 1.029
 * 35.812
 * 1017
 * 1.027
 * 38.116
 * 1018
 * 1.025
 * 40.420
 * 1019
 * 1.024
 * 42.725
 * 1020
 * 1.023
 * 45.028
 * 1021
 * 1.022
 * 47.332
 * 1022
 * 1.021
 * 49.636
 * 1023
 * 1.020
 * 51.939
 * 1024
 * 1.019
 * 54.243
 * 1025
 * 1.018
 * 56.546
 * OEIS
 * }
 * 1.024
 * 42.725
 * 1020
 * 1.023
 * 45.028
 * 1021
 * 1.022
 * 47.332
 * 1022
 * 1.021
 * 49.636
 * 1023
 * 1.020
 * 51.939
 * 1024
 * 1.019
 * 54.243
 * 1025
 * 1.018
 * 56.546
 * OEIS
 * }
 * 49.636
 * 1023
 * 1.020
 * 51.939
 * 1024
 * 1.019
 * 54.243
 * 1025
 * 1.018
 * 56.546
 * OEIS
 * }
 * 1.019
 * 54.243
 * 1025
 * 1.018
 * 56.546
 * OEIS
 * }
 * 1.018
 * 56.546
 * OEIS
 * }
 * OEIS
 * }
 * }
 * }
 * }
 * }
 * }
 * }

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप
अभाज्य संख्या प्रमेय का एनालॉग है जो परिमित क्षेत्र पर अलघुकरणीय बहुपदों के वितरण का वर्णन करता है; यह जो रूप लेता है वह शास्त्रीय अभाज्य संख्या प्रमेय के मामले के समान ही है।

इसे ठीक-ठीक बताने के लिए, आइए $k(log k + log log k−1)$ के साथ परिमित क्षेत्र हो $8,512,681,315,554,716,000$ तत्व, कुछ निश्चित के लिए $k$, और जाने $x$ मोनिक बहुपद अलघुकरणीय बहुपदों की संख्या अधिक हो $x$ जिसकी बहुपद की डिग्री के सामान्य है $1,229$. यही है, हम बहुपदों को गुणांक के साथ देख रहे हैं जिनमें से चुना गया है $9,592$, जिसे छोटी कोटि के बहुपदों के गुणनफल के रूप में नहीं लिखा जा सकता। इस सेटिंग में, ये बहुपद प्रमुख संख्याओं की भूमिका निभाते हैं, क्योंकि अन्य सभी मोनिक बहुपद उनके उत्पादों से बने होते हैं। तभी कोई यह सिद्ध कर सकता है
 * $$N_n \sim \frac{q^n}{n}.$$

अगर हम प्रतिस्थापन करते हैं $k ≥ 2$, तो दाहिना हाथ न्यायपूर्ण है
 * $$\frac{x}{\log_q x},$$

जो समानता को स्पष्ट करता है। चूंकि ठीक हैं $π(x)$ डिग्री के मोनिक बहुपद $78,498$ (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का मोनिक बहुपद $6,116$ बेतरतीब ढंग से चुना जाता है, तो इसके अलघुकरणीय होने की प्रायिकता लगभग होती है$x / log x$.

कोई भी रीमैन परिकल्पना का एनालॉग भी सिद्ध कर सकता है, जिसका नाम है
 * $$N_n = \frac{q^n}n + O\left(\frac{q^\frac{n}{2}}{n}\right).$$

शास्त्रीय मामले की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें छोटा, साहचर्य तर्क सम्मिलित है, संक्षेप में इस प्रकार है: डिग्री के हर तत्व $664,579$ का विस्तार $44,158$ कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात है $5,761,455$ विभाजित $332,774$; इन जड़ों को दो अलग-अलग विधियों से गिनने से यह स्थापित होता है
 * $$q^n = \sum_{d\mid n} d N_d,$$

जहां योग सभी विभाजक पर है $50,847,534$ का $2,592,592$. मोबियस उलटा तो उपज देता है
 * $$N_n = \frac{1}{n} \sum_{d\mid n} \mu\left(\frac{n}{d}\right) q^d,$$

जहाँ $li(x)$ मोबियस फलन है। (यह सूत्र गॉस को ज्ञात था।) मुख्य शब्द के लिए होता है $π(x)$, और शेष नियमों को बाध्य करना कठिन नहीं है। रीमैन परिकल्पना कथन इस तथ्य पर निर्भर करता है कि सबसे बड़ा उचित विभाजक $1,701$ से बड़ा नहीं हो सकता $x / log x$.

यह भी देखें

 * सार विश्लेषणात्मक संख्या सिद्धांत प्रमेय के सामान्यीकरण के बारे में जानकारी के लिए।
 * बीजगणितीय संख्या क्षेत्रों में प्रमुख आदर्शों के सामान्यीकरण के लिए लन्दौ प्रधान आदर्श प्रमेय।
 * रीमैन परिकल्पना

बाहरी संबंध

 * Table of Primes by Anton Felkel.
 * Short video visualizing the Prime Number Theorem.
 * Prime formulas and Prime number theorem at MathWorld.
 * How Many Primes Are There? and The Gaps between Primes by Chris Caldwell, University of Tennessee at Martin.
 * Tables of prime-counting functions by Tomás Oliveira e Silva
 * Eberl, Manuel and Paulson, L. C. The Prime Number Theorem (Formal proof development in Isabelle/HOL, Archive of Formal Proofs)
 * The Prime Number Theorem: the "elementary" proof − An exposition of the elementary proof of the Prime Number Theorem of Atle Selberg and Paul Erdős at www.dimostriamogoldbach.it/en/
 * The Prime Number Theorem: the "elementary" proof − An exposition of the elementary proof of the Prime Number Theorem of Atle Selberg and Paul Erdős at www.dimostriamogoldbach.it/en/