अभाज्य संख्या प्रमेय: Difference between revisions

Latest revision as of 13:43, 6 September 2023

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

इस तरह का पहला वितरण $π(N) ~ .mw-parser-output .sfrac{white-space:nowrap}.mw-parser-output .sfrac.tion,.mw-parser-output .sfrac .tion{display:inline-block;vertical-align:-0.5em;font-size:85%;text-align:center}.mw-parser-output .sfrac .num,.mw-parser-output .sfrac .den{display:block;line-height:1em;margin:0 0.1em}.mw-parser-output .sfrac .den{border-top:1px solid}.mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px}N/log(N)$ पाया गया है , जहाँ $π (N)$ प्राइम-काउंटिंग फलन है (N से कम या उसके सामान्य प्राइम्स की संख्या) और $log(N)$ का प्राकृतिक लघुगणक $N$ है . इसका कारण है कि अधिक बड़े के लिए $N$ संभावना है कि यादृच्छिक पूर्णांक से अधिक $N$ नहीं है प्राइम $1 / log(N)$ के बहुत निकट है . परिणाम स्वरुप, अधिकतम के साथ यादृच्छिक पूर्णांक $2 n$ अंक (पर्याप्त बड़े $n$ के लिए) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग $n$ आधा है । उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग ( $log(10 1000) \approx 2302.6$ ) अभाज्य है , जबकि अधिकतम 2000 अंकों के धनात्मक पूर्णांकों में से, 4600 में लगभग $log(10 2000) \approx 4605.2$ अभाज्य है दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर $N$ पूर्णांक सामान्यतः $log(N)$ है .^[3]

कथन

प्राइम-काउंटिंग फलन का अनुपात दिखाने वाला ग्राफ़

π (x)

इसके दो अनुमानों के लिए,

x / log x

और

Li(x)

. जैसा

x

बढ़ता है (ध्यान दें

x

अक्ष लॉगरिदमिक है), दोनों अनुपात 1 की ओर जाते हैं। अनुपात के लिए

x / log x

ऊपर से बहुत धीरे-धीरे परिवर्तित होता है, जबकि अनुपात के लिए

Li(x)

नीचे से अधिक तेज़ी से एकाग्र होता है।

लॉग-लॉग प्लॉट की पूर्ण त्रुटि दिखा रहा है

x / log x

और

Li(x)

, प्राइम-काउंटिंग फलन के दो सन्निकटन

π (x)

. अनुपात के विपरीत, के बीच का अंतर

π (x)

और

x / log x

के रूप में बिना किसी सीमा के बढ़ता है

x

बढ़ती है। वहीं दूसरी ओर,

Li(x) - π (x)

स्विच अनंत बार हस्ताक्षर करते हैं।

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

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

p_{n}\sim n\log(n),

स्पर्शोन्मुख संकेतन का अर्थ है, फिर से, कि इस सन्निकटन की सापेक्ष त्रुटि 0 के रूप में पहुंचती है $n$ बिना सीमा के बढ़ता है। उदाहरण के लिए, द 2×10¹⁷वें अभाज्य संख्या है 8512677386048191063,^[4] और (2×10¹⁷) log (2×10¹⁷) तक चक्कर लगाता है 7967418752291744388, लगभग 6.4% की सापेक्ष त्रुटि है।

दूसरी ओर, निम्नलिखित स्पर्शोन्मुख संबंध तार्किक रूप से समतुल्य हैं:^[5]

{\begin{aligned}\lim _{x\rightarrow \infty }{\frac {\pi (x)\log x}{x}}&=1,\\\lim _{x\rightarrow \infty }{\frac {\pi (x)\log \pi (x)}{x}}&=1.\end{aligned}}

जैसा कि रेखांकित किया गया प्रूफ स्केच, अभाज्य संख्या प्रमेय भी किसके समतुल्य है

\lim _{x\to \infty }{\frac {\vartheta (x)}{x}}=\lim _{x\to \infty }{\frac {\psi (x)}{x}}=1,

जहाँ $ϑ$ और $ψ$ क्रमशः चेबीशेव फलन हैं, और

\lim _{x\to \infty }{\frac {M(x)}{x}}=0,

^[6]

जहाँ $M(x)=\sum _{n\leq x}\mu (n)$ मेर्टेंस फलन करता है।

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास

एंटोन फेलकेल और यूरी वेगा द्वारा तालिकाओं के आधार पर, एड्रियन मैरी लीजेंड्रे ने 1797 या 1798 में अनुमान लगाया कि $π (a)$ फलन $a / (A log a + B)$ द्वारा अनुमानित है , जहाँ $A$ और $B$ अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर लीजेंड्रे स्थिरांक बनाया जाता है, जिसके साथ $A = 1$ और $B = -1.08366$ . कार्ल फ्रेडरिक गॉस ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया था, 1849 में अपने स्वयं के स्मरण के अनुसार ^[7] 1838 में पीटर गुस्ताव लेज्यून डिरिचलेट अपने स्वयं के सन्निकटन फलन, लॉगरिदमिक इंटीग्रल के साथ आए $li(x)$ (श्रृंखला के थोड़े अलग रूप के अनुसार, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं इस प्रकार $π (x)$ और $x / log(x)$ ऊपर कहा गया है, चूँकि यह पता चला है कि डिरिक्लेट का सन्निकटन अधिक उत्तम है यदि कोई भागफल के अतिरिक्त अंतरों पर विचार करता है।

1848 और 1850 के दो पत्रों में, रूसी गणितज्ञ पफनुटी चेबीशेव ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया था। जीटा फलन के उपयोग के लिए उनका काम उल्लेखनीय है $ζ (s)$ , तर्क के वास्तविक मूल्यों $s$ के लिए, जैसा कि 1737 की प्रारंभ में लियोनहार्ड यूलर के फलनों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख नियम के थोड़े अशक्त रूप को सिद्ध करने में सफल रहे, अर्थात्, यदि सीमा के रूप में $x$ की अनंतता में जाता है $π (x) / (x / log(x))$ बिल्कुल उपस्थित है, तो यह अनिवार्य रूप से के सामान्य है।^[8] वह बिना नियम यह सिद्ध करने में सक्षम था कि यह अनुपात 1 के निकट दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप $x$ से बड़ा .^[9] चूँकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को सिद्ध नहीं करता है, किन्तु उसका अनुमान है $π (x)$ बर्ट्रेंड के अभिधारणा को सिद्ध करने के लिए पर्याप्त सशक्त थे कि उनके बीच अभाज्य संख्या $n$ और $2 n$ उपस्थित है किसी भी पूर्णांक के लिए $n \geq 2$ .है

अभाज्य संख्याओं के वितरण से संबंधित महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार प्रस्तुत किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण सम्मिश्र चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फलन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक फलन के अध्ययन के लिए सम्मिश्र विश्लेषण के विधियों को प्रयुक्त करने का विचार है $π (x)$ उत्पत्ति रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए ^[1] और चार्ल्स जीन डे ला वाली पुसिन ^[2] और उसी वर्ष (1896) में दिखाई दिया था। दोनों प्रमाणों ने सम्मिश्र विश्लेषण से विधियों का उपयोग किया था, प्रमाण के मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा फलन करता है $ζ (s)$ चर के सभी सम्मिश्र मानों $s$ के लिए शून्य नहीं है जिसका रूप $s = 1 + it$ साथ $t > 0$ है.^[10]

20वीं शताब्दी के समय, हैडमार्ड और डे ला वाली पुसिन के प्रमेय को प्रधान संख्या प्रमेय के रूप में भी जाना जाने लगा था। इसके कई अलग-अलग प्रमाण पाए गए, जिनमें एटले सेलबर्ग के प्राथमिक प्रमाण भी सम्मिलित हैं ^[11] और पॉल एर्डोस ^[12] (1949)। हैडमर्ड और डे ला वल्ली पुसिन के मूल प्रमाण लंबे और विस्तृत हैं; बाद के प्रमाणों ने टाउबेरियन प्रमेयों के उपयोग के माध्यम से विभिन्न सरलीकरण पेश किए लेकिन पचाने में मुश्किल बनी रही। अमेरिकी गणितज्ञ डोनाल्ड जे. न्यूमैन द्वारा 1980 में एक संक्षिप्त प्रमाण की खोज की गई थी। ^[13]^[14] न्यूमैन का प्रमाण यकीनन प्रमेय का सबसे सरल ज्ञात प्रमाण है, चूँकि यह इस अर्थ में गैर-प्रारंभिक है कि यह कॉची के अभिन्न प्रमेय को सम्मिश्र विश्लेषण से उपयोग करता है।

प्रमाण स्केच

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

\psi (x)=\!\!\!\!\sum _{\stackrel {p^{k}\leq x,}{p{\text{ is prime}}}}\!\!\!\!\log p\;.

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

\psi (x)=\sum _{n\leq x}\Lambda (n)\;,

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

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

अब यह जाँचना अपेक्षाकृत सरल हो गया है कि पीएनटी उस प्रमाण के समतुल्य है

\lim _{x\to \infty }{\frac {\psi (x)}{x}}=1\;.

यह सरल अनुमानों से चलता है

\psi (x)=\sum _{\stackrel {p\leq x}{p{\text{ is prime}}}}\log p\left\lfloor {\frac {\log x}{\log p}}\right\rfloor \leq \sum _{\stackrel {p\leq x}{p{\text{ is prime}}}}\log x=\pi (x)\log x

और (बिग ओ नोटेशन का उपयोग करके बड़ा $O$ नोटेशन) किसी $ε > 0$ के लिए ,

\psi (x)\geq \!\!\!\!\sum _{\stackrel {x^{1-\varepsilon }\leq p\leq x}{p{\text{ is prime}}}}\!\!\!\!\log p\geq \!\!\!\!\sum _{\stackrel {x^{1-\varepsilon }\leq p\leq x}{p{\text{ is prime}}}}\!\!\!\!(1-\varepsilon )\log x=(1-\varepsilon )\left(\pi (x)+O\left(x^{1-\varepsilon }\right)\right)\log x\;.

इसके लिए $ψ (x)$ उपयोगी प्रतिनिधित्व खोजना है . माना $ζ (s)$ रिमेंन जीटा फलन हो। यह दिखाया जा सकता है $ζ (s)$ वॉन मैंगोल्ड फलन $Λ (n)$ से संबंधित है , और इसलिए $ψ (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 }}

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

प्रमाण के अगले चरण में जीटा फलन के शून्यों का अध्ययन सम्मिलित है। तुच्छ शून्य −2, −4, −6, −8, ... को अलग से संभाला जा सकता है:

\sum _{n=1}^{\infty }{\frac {1}{2n\,x^{2n}}}=-{\frac {1}{2}}\log \left(1-{\frac {1}{x^{2}}}\right),

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

गैर-लुप्त होने पर $Re(s) = 1$

ऐसा करने के लिए, हम इसे $ζ (s)$ मान लेते हैं अर्ध-समष्टि में मेरोमॉर्फिक फलन $Re(s) > 0$ है , और वहाँ साधारण ध्रुव को छोड़कर वहाँ $s = 1$ विश्लेषणात्मक है , और यह कि उत्पाद सूत्र है

\zeta (s)=\prod _{p}{\frac {1}{1-p^{-s}}}

$Re(s) > 1$ के लिए . यह उत्पाद सूत्र पूर्णांकों के अद्वितीय अभाज्य गुणनखंडन के अस्तित्व से अनुसरण करता है, और यह $ζ (s)$ दर्शाता है इस क्षेत्र में कभी भी शून्य नहीं होता है, इसलिए इसका लघुगणक वहां परिभाषित किया जाता है और

\log \zeta (s)=-\sum _{p}\log \left(1-p^{-s}\right)=\sum _{p,n}{\frac {p^{-ns}}{n}}\;.

लिखना $s = x + iy$ ; तब

{\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}\geq 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(2ny\log p)}{np^{nx}}}\right)\geq 1

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

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

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण

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

फलन के अतिरिक्त प्रूफ़ पिछले सेक्शन की तरह ही प्रिलिमिनरीज़ ${\textstyle \psi }$ का उपयोग करता है , चेबिशेव फलन ${\textstyle \quad \vartheta (x)=\sum _{p\leq x}\log p}$ प्रयोग किया जाता है, जो कि श्रृंखला से कुछ पदों को हटाकर प्राप्त किया जाता है ${\textstyle \psi }$ . यह दिखाना सरल है कि पीएनटी इसके $\lim _{x\to \infty }\vartheta (x)/x=1$ सामान्य है . इसी तरह के अतिरिक्त $-{\frac {\zeta '(s)}{\zeta (s)}}$ फलन $\Phi (s)=\sum _{p\leq 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)$ कर सिद्ध होता है . इसमें सीमाओं के क्रम में परिवर्तन सम्मिलित है क्योंकि इसे लिखा जा सकता है ${\textstyle \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|\leq R{\text{ and }}\Re z\geq -\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\leq 0\right\}$ . तब $g(0)-g_{T}(0)=\int _{C_{+}}\int _{T}^{\infty }H(t,z)dtdz-\int _{C_{-}}\int _{0}^{T}H(t,z)dtdz+\int _{C_{-}}g(z)F(z){\frac {dz}{2\pi iz}}$

जहाँ $H(t,z)=f(t)e^{-tz}F(z)/2\pi i$ . तब से $\vartheta (x)/x$ , और इसलिए $f(t)$ , बँधा हुआ है, चलो $B$ के निरपेक्ष मान के लिए ऊपरी सीमा हो $f(t)$ . यह अनुमान के साथ बंधा हुआ है $|F|\leq 2\exp(T\Re z)|\Re z|/R$ के लिए $|z|=R$ देता है कि निरपेक्ष मान में पहला समाकल है $\leq B/R$ . इंटीग्रैंड ओवर $C_{-}$ दूसरे इंटीग्रल में संपूर्ण फलन है, इसलिए कॉची के इंटीग्रल प्रमेय द्वारा, समोच्च $C_{-}$ त्रिज्या के अर्धवृत्त $R$ में संशोधित किया जा सकता है इंटीग्रल को बदले बिना बाएं आधे समष्टि में, और पहले इंटीग्रल के लिए वही तर्क दूसरे इंटीग्रल का निरपेक्ष मान देता है $\leq B/R$ . अंत में, दे रहा हूँ $T\to \infty$ , तीसरा अभिन्न शून्य हो जाता है $e^{zT}$ और इसलिए $F$ समोच्च पर शून्य हो जाता है। दो अनुमानों और सीमा को मिलाकर प्राप्त करें

\limsup _{T\to \infty }|g(0)-g_{T}(0)|\leq {\frac {2B}{R}}.

यह किसी के लिए भी है $R$ इसलिए $\lim _{T\to \infty }g_{T}(0)=g(0)$ , और पीएनटी इस प्रकार है।

लॉगरिदमिक इंटीग्रल के संदर्भ में प्राइम-काउंटिंग फलन

उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट में थ्योरी डेस नोम्ब्रे से इनफिनीज़ श्रृंखला का उपयोग करें, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के अतिरिक्त श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के अनुसार) कि इससे भी उत्तम सन्निकटन $π (x)$ लघुगणक समाकल फलन फलन $Li(x)$ , द्वारा परिभाषित दिया जाता है

\operatorname {Li} (x)=\int _{2}^{x}{\frac {dt}{\log t}}=\operatorname {li} (x)-\operatorname {li} (2).

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

\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) ~ Li(x)$ . दरअसल, दूसरे पेपर में ^[17] 1899 में डे ला वल्ली पौसिन ने यह सिद्ध कर दिया था

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

कुछ धनात्मक स्थिरांक के लिए $a$ , जहाँ $O (...)$ बिग ओ नोटेशन है इसमें सुधार किया गया है

\pi (x)=\operatorname {li} (x)+O\left(x\exp \left(-{\frac {A(\log x)^{\frac {3}{5}}}{(\log \log x)^{\frac {1}{5}}}}\right)\right)

जहाँ

A=0.2098

.^[18]

2016 में, Trudgian के बीच के अंतर के लिए स्पष्ट ऊपरी सीमा सिद्ध हुई $\pi (x)$ और $\operatorname {li} (x)$ :

{\big |}\pi (x)-\operatorname {li} (x){\big |}\leq 0.2795{\frac {x}{(\log x)^{3/4}}}\exp \left(-{\sqrt {\frac {\log x}{6.455}}}\right)

$x\geq 229$ के लिए .^[19] रीमैन ज़ेटा फलन और के बीच संबंध $π (x)$ यह कारण है कि रीमैन परिकल्पना का संख्या सिद्धांत में अधिक महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में सम्मिलित त्रुटि का उत्तम अनुमान लगाएगा। अधिक विशेष रूप से, हेल्ज वॉन कोच ने 1901 में दिखाया ^[20] यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है

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

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

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

सभी के लिए $x \geq 2657$ . उन्होंने चेबिशेव $ψ$ फलन है | :

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

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

लॉगरिदमिक इंटीग्रल फलन $li(x)$ से बड़ा है $π (x)$ के छोटे मूल्यों के लिए $x$ . ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ शक्ति है, की गिनती है 1/  $n$   रूप में गिना जाता है प्रधान का। इससे पता चलता है $li(x)$ से बड़ा होना चाहिए $π (x)$ द्वारा सामान्यतः $\ {\tfrac {1}{2}}\operatorname {li} ({\sqrt {x}})\ ,$ और विशेष रूप से सदैव इससे $π (x)$ बड़ा होना चाहिए . चूँकि, 1914 में, जॉन एडेंसर लिटलवुड जे. ई। लिटलवुड ने सिद्ध कर दिया $\ \pi (x)-\operatorname {li} (x)\$ परिवर्तन संकेत असीम रूप से अधिकांशतः।^[23] $x$ का पहला मान जहाँ $π (x)$ से अधिक है $li(x)$ संभवतः आसपास $x ~ 10 316$ है ; अधिक विवरण के लिए स्केव्स की संख्या पर लेख देखें। (दूसरी ओर, ऑफसमुच्चय लॉगरिदमिक इंटीग्रल $Li(x)$ की तुलना में छोटा है $π (x)$ पहले से ही के लिए $x = 2$ ; वास्तव में, $Li(2) = 0$ , जबकि $π (2) = 1$ .)

प्राथमिक प्रमाण

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

मार्च 1948 में, एटल सेलबर्ग ने प्रारंभिक विधियों से, स्पर्शोन्मुख सूत्र की स्थापना की

\vartheta (x)\log(x)+\sum \limits _{p\leq x}{\log(p)}\ \vartheta \left({\frac {x}{p}}\right)=2x\log(x)+O(x)

जहाँ

\vartheta (x)=\sum \limits _{p\leq x}{\log(p)}

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

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

कंप्यूटर सत्यापन

2005 में, एवीगाड एट.अल. पीएनटी के एर्दोस-सेलबर्ग प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए को नियोजित किया था।^[27] यह पीएनटी का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने विश्लेषणात्मक के अतिरिक्त एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक फलन की धारणाओं को प्रयुक्त कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था।^[27]^: 19

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

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

माना $π d, a (x)$ अंकगणितीय प्रगति में प्राइम्स की संख्या $a, a + d, a + 2 d, a + 3 d, ...$ को निरूपित करें जो इससे $x$ कम हैं . डिरिचलेट और लिजेंड्रे ने अनुमान लगाया, और डे ला वल्ली पुसिन ने सिद्ध किया कि यदि $a$ और $d$ सहप्राइम हैं, तो

\pi _{d,a}(x)\sim {\frac {\operatorname {Li} (x)}{\varphi (d)}}\ ,

जहाँ $φ$ यूलर का कुल फलन है। दूसरे शब्दों में, अभाज्य संख्याएँ अवशेष वर्गों के बीच समान रूप से वितरित की जाती हैं इस प्रकार $[a]$ मॉड्यूलर अंकगणित $d$ साथ $gcd(a, d) = 1$ . यह अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय से अधिक सशक्त है (जो केवल यह बताता है कि प्रत्येक वर्ग में अभाज्य संख्याओं की अनंतता है) और न्यूमैन द्वारा उनके अभाज्य संख्या प्रमेय के प्रमाण के लिए उपयोग की जाने वाली समान विधियों का उपयोग करके सिद्ध किया जा सकता है।^[29]

सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए अच्छा अनुमान देता है।

बेनेट एट अल ^[30] निम्नलिखित अनुमान $A$ और $B$ (प्रमेय 1.3) को सिद्ध किया जिसमें स्पष्ट स्थिरांक हैं:

माना $d$ $\geq 3$ पूर्णांक बनें और दें $a$ पूर्णांक बनें जो कोप्राइम $d$ है . फिर धनात्मक स्थिरांक $A$ और $B$ हैं ऐसा है कि

\left|\pi _{d,a}(x)-{\frac {\ \operatorname {Li} (x)\ }{\ \varphi (d)\ }}\right|<{\frac {A\ x}{\ (\log x)^{2}\ }}\quad {\text{ for all }}\quad x\geq 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 (x;4,3)-\pi (x;4,1)\

n ≤ 30000 के लिए

चूँकि हमारे पास विशेष रूप से है

\pi _{4,1}(x)\sim \pi _{4,3}(x)\ ,

अनुभवजन्य रूप से 3 के सर्वांगसम अभाज्य संख्याएँ अधिक हैं और इस अभाज्य संख्या की दौड़ में लगभग सदैव आगे रहती हैं; पहला उत्क्रमण पर होता है $x = 26861$ .^[31]^: 1–2 चूँकि लिटिलवुड ने 1914 में दिखाया ^[31]^: 2 कि फलन के लिए अपरिमित रूप से अनेक चिह्न परिवर्तन हैं

\pi _{4,1}(x)-\pi _{4,3}(x)~,

इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो $π 4,3 (x)$ अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या सदैव ऐसा ही होता है $π (x; a, c)$ और $π (x; b, c)$ स्थान बदलें जब $a$ और $b$ कोप्राइम $c$ हैं .^[32] एंड्रयू ग्रानविले और मार्टिन संपूर्ण विवरण और सर्वेक्षण देते हैं।^[31]

प्राइम-काउंटिंग फलन पर गैर-असिम्प्टोटिक सीमाएँ

अभाज्य संख्या प्रमेय उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी $π (x)$ परिणाम देता है सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए $ε > 0$ , वहाँ है $S$ ऐसा कि सभी $x > S$ के लिए ,

(1-\varepsilon ){\frac {x}{\log x}}\;<\;\pi (x)\;<\;(1+\varepsilon ){\frac {x}{\log x}}\;.

चूँकि, उत्तम सीमा है $π (x)$ जाना जाता है, उदाहरण के लिए पियरे डुसार्ट का

{\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)\;.

पहली असमानता सभी के लिए है $x \geq 599$ और दूसरा के लिए $x \geq 355991$ .^[33] अशक्त किन्तु कभी-कभी उपयोगी बाउंड $x \geq 55$ है ^[34]

{\frac {x}{\log x+2}}\;<\;\pi (x)\;<\;{\frac {x}{\log x-4}}\;.

पियरे दुसर्ट की थीसिस में इस प्रकार की असमानता के सशक्त संस्करण हैं जो बड़े के लिए मान्य हैं $x$ . बाद में 2010 में, दुसार्ट ने सिद्ध किया:^[35]

{\begin{aligned}{\frac {x}{\log x-1}}\;&<\;\pi (x)&&{\text{  for }}x\geq 5393\;,{\text{   and }}\\\pi (x)\;&<\;{\frac {x}{\log x-1.1}}&&{\text{  for }}x\geq 60184\;.\end{aligned}}

डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए $ε > 0$ , वहाँ $S$ है ऐसा कि सभी $x > S$ के लिए ,

{\frac {x}{\log x-(1-\varepsilon )}}\;<\;\pi (x)\;<\;{\frac {x}{\log x-(1+\varepsilon )}}\;.

$n$ वें अभाज्य संख्या के लिए अनुमान

अभाज्य संख्या प्रमेय के परिणाम के रूप में, के लिए स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है $n$ वें अभाज्य संख्या, $p n$ द्वारा निरूपित है :

p_{n}\sim n\log n.

एक उत्तम सन्निकटन है^[36]

{\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).

फिर 2×10¹⁷वें अभाज्य संख्या 8512677386048191063, यह अनुमान देता है 8512681315554715386; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।

रोसेर की प्रमेय कहती है कि

p_{n}>n\log n.

इसे निम्नलिखित बाउंड युग्म द्वारा सुधारा जा सकता है:^[34]^[37]

\log n+\log \log n-1<{\frac {p_{n}}{n}}<\log n+\log \log n\quad {\text{for }}n\geq 6.

$π (x)$ , $x / log x$ , और $li(x)$ की तालिका

तालिका के स्पष्ट मानों की तुलना करती है $π (x)$ दो अनुमानों के लिए $x / log x$ और $li(x)$ . अंतिम स्तंभ, $x / π (x)$ , नीचे औसत प्रमुख अंतर $x$ है.

$x$	$π (x)$	$π (x) - x / log x$	$π (x) / x / log x$	$li(x) - π (x)$	$x / π (x)$
10	4	−0.3	0.921	2.2	2.500
10²	25	3.3	1.151	5.1	4.000
10³	168	23.0	1.161	10.0	5.952
10⁴	1229	143.0	1.132	17.0	8.137
10⁵	9592	906.0	1.104	38.0	10.425
10⁶	78498	6116.0	1.084	130.0	12.740
10⁷	664579	44158.0	1.071	339.0	15.047
10⁸	5761455	332774.0	1.061	754.0	17.357
10⁹	50847534	2592592.0	1.054	1701.0	19.667
10¹⁰	455052511	20758029.0	1.048	3104.0	21.975
10¹¹	4118054813	169923159.0	1.043	11588.0	24.283
10¹²	37607912018	1416705193.0	1.039	38263.0	26.590
10¹³	346065536839	11992858452.0	1.034	108971.0	28.896
10¹⁴	3204941750802	102838308636.0	1.033	314890.0	31.202
10¹⁵	29844570422669	891604962452.0	1.031	1052619.0	33.507
10¹⁶	279238341033925	7804289844393.0	1.029	3214632.0	35.812
10¹⁷	2623557157654233	68883734693281.0	1.027	7956589.0	38.116
10¹⁸	24739954287740860	612483070893536.0	1.025	21949555.0	40.420
10¹⁹	234057667276344607	5481624169369960.0	1.024	99877775.0	42.725
10²⁰	2220819602560918840	49347193044659701.0	1.023	222744644.0	45.028
10²¹	21127269486018731928	446579871578168707.0	1.022	597394254.0	47.332
10²²	201467286689315906290	4060704006019620994.0	1.021	1932355208.0	49.636
10²³	1925320391606803968923	37083513766578631309.0	1.020	7250186216.0	51.939
10²⁴	18435599767349200867866	339996354713708049069.0	1.019	17146907278.0	54.243
10²⁵	176846309399143769411680	3128516637843038351228.0	1.018	55160980939.0	56.546
OEIS	A006880	A057835		A057752

$π (10 24)$ के लिए मूल्य मूल रूप से रीमैन परिकल्पना मानते हुए गणना की गई थी;^[38] तब से इसे बिना नियम सत्यापित किया गया है।^[39]

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप

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

इसे ठीक-ठीक बताने के लिए, आइए $F = GF(q)$ के साथ परिमित क्षेत्र हो $q$ तत्व, कुछ निश्चित के लिए $q$ , और जाने $N n$ मोनिक बहुपद अलघुकरणीय बहुपदों की संख्या अधिक हो $F$ जिसकी बहुपद की डिग्री के सामान्य है $n$ . यही है, हम बहुपदों को गुणांक के साथ देख रहे हैं जिनमें $F$ से चुना गया है , जिसे छोटी कोटि के बहुपदों के गुणनफल के रूप में नहीं लिखा जा सकता। इस समुच्चयिंग में, ये बहुपद प्रमुख संख्याओं की भूमिका निभाते हैं, क्योंकि अन्य सभी मोनिक बहुपद उनके उत्पादों से बने होते हैं। तभी कोई यह सिद्ध कर सकता है

N_{n}\sim {\frac {q^{n}}{n}}.

यदि हम प्रतिस्थापन करते हैं $x = q n$ , तो दाहिना हाथ न्यायपूर्ण है

{\frac {x}{\log _{q}x}},

जो समानता को स्पष्ट करता है। चूंकि ठीक हैं $q n$ डिग्री के मोनिक बहुपद $n$ (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का मोनिक बहुपद $n$ अनैतिक विधि से चुना जाता है, तो इसके अलघुकरणीय $1 / n$ होने की प्रायिकता लगभग होती है.

कोई भी रीमैन परिकल्पना का एनालॉग भी सिद्ध कर सकता है, जिसका नाम है

N_{n}={\frac {q^{n}}{n}}+O\left({\frac {q^{\frac {n}{2}}}{n}}\right).

मौलिक स्थिति की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें छोटा, साहचर्य तर्क सम्मिलित है,^[40] संक्षेप में इस प्रकार है: डिग्री के प्रत्येक तत्व $n$ का विस्तार $F$ कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात $d$ विभाजित $n$ है ; इन जड़ों को दो अलग-अलग विधियों से गिनने से यह स्थापित होता है

q^{n}=\sum _{d\mid n}dN_{d},

जहां योग सभी विभाजक $d$ का $n$ पर है. मोबियस उलटा तो उपज देता है

N_{n}={\frac {1}{n}}\sum _{d\mid n}\mu \left({\frac {n}{d}}\right)q^{d},

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

यह भी देखें

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

उद्धरण

↑ ^1.0 ^1.1 Hadamard, Jacques (1896), "Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.", Bulletin de la Société Mathématique de France, Société Mathématique de France, 24: 199–220, archived from the original on 2012-07-17
↑ ^2.0 ^2.1 de la Vallée Poussin, Charles-Jean (1896), "Recherches analytiques sur la théorie des nombres premiers.", Annales de la Société scientifique de Bruxelles, Imprimeur de l'Académie Royale de Belgique, 20 B, 21 B: 183–256, 281–352, 363–397, 351–368
↑ Hoffman, Paul (1998). The Man Who Loved Only Numbers. New York: Hyperion Books. p. 227. ISBN 978-0-7868-8406-3. MR 1666054.
↑ "Prime Curios!: 8512677386048191063". Prime Curios!. University of Tennessee at Martin. 2011-10-09.
↑ M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 80–82. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.
↑ M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 92–94. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.
↑ Gauss, C. F. (1863), Werke, vol. 2 (1st ed.), Göttingen: Teubner, pp. 444–447.
↑ Costa Pereira, N. (August–September 1985). "A Short Proof of Chebyshev's Theorem". American Mathematical Monthly. 92 (7): 494–495. doi:10.2307/2322510. JSTOR 2322510.
↑ Nair, M. (February 1982). "On Chebyshev-Type Inequalities for Primes". American Mathematical Monthly. 89 (2): 126–129. doi:10.2307/2320934. JSTOR 2320934.
↑ Ingham, A. E. (1990). The Distribution of Prime Numbers. Cambridge University Press. pp. 2–5. ISBN 978-0-521-39789-6.
↑ ^11.0 ^11.1 Selberg, Atle (1949), "An Elementary Proof of the Prime-Number Theorem", Annals of Mathematics, 50 (2): 305–313, doi:10.2307/1969455, JSTOR 1969455, MR 0029410, S2CID 124153092
↑ ^12.0 ^12.1 Erdős, Paul (1949-07-01), "On a new method in elementary number theory which leads to an elementary proof of the prime number theorem" (PDF), Proceedings of the National Academy of Sciences, U.S.A.: National Academy of Sciences, 35 (7): 374–384, Bibcode:1949PNAS...35..374E, doi:10.1073/pnas.35.7.374, PMC 1063042, PMID 16588909
↑ Newman, Donald J. (1980). "अभाज्य संख्या प्रमेय का सरल विश्लेषणात्मक प्रमाण". American Mathematical Monthly. 87 (9): 693–696. doi:10.2307/2321853. JSTOR 2321853. MR 0602825.
↑ ^14.0 ^14.1 Zagier, Don (1997). "Newman's short proof of the prime number theorem". American Mathematical Monthly. 104 (8): 705–708. doi:10.2307/2975232. JSTOR 2975232. MR 1476753.
↑ Tao, Terence (10 December 2014). "254A, Notes 2: Complex-analytic multiplicative number theory". Terence Tao's blog.
↑ Edwards, Harold M. (2001). Riemann's zeta function. Courier Dover Publications. ISBN 978-0-486-41740-0.
↑ {{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1899|title=Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|journal=Mémoires couronnés de l'Académie de Belgique|publisher=Imprimeur de l'Académie Royale de Belgique|volume=59|pages=1–74|url=https://books.google.com/books?id=_O0GAAAAYAAJ}
↑ Kevin Ford (2002). "Vinogradov's Integral and Bounds for the Riemann Zeta Function" (PDF). Proc. London Math. Soc. 85 (3): 565–633. arXiv:1910.08209. doi:10.1112/S0024611502013655. S2CID 121144007.
↑ Tim Trudgian (February 2016). "Updating the error term in the prime number theorem". Ramanujan Journal. 39 (2): 225–234. arXiv:1401.2689. doi:10.1007/s11139-014-9656-6. S2CID 11013503.
↑ von Koch, Helge (1901). "Sur la distribution des nombres premiers" [On the distribution of prime numbers]. Acta Mathematica (in français). 24 (1): 159–182. doi:10.1007/BF02403071. MR 1554926. S2CID 119914826.
↑ Schoenfeld, Lowell (1976). "Sharper Bounds for the Chebyshev Functions $ϑ (x)$ and $ψ (x)$ . II". Mathematics of Computation. 30 (134): 337–360. doi:10.2307/2005976. JSTOR 2005976. MR 0457374.
↑ Jørgensen, Bent; Martínez, José Raúl; Tsao, Min (1994). "Asymptotic behaviour of the variance function". Scandinavian Journal of Statistics. 21 (3): 223–243. JSTOR 4616314. MR 1292637.
↑ Littlewood, J.E. (1914). "Sur la distribution des nombres premiers". Comptes Rendus. 158: 1869–1872. JFM 45.0305.01.
↑ ^24.0 ^24.1 ^24.2 Goldfeld, Dorian (2004). "The elementary proof of the prime number theorem: an historical perspective" (PDF). In Chudnovsky, David; Chudnovsky, Gregory; Nathanson, Melvyn (eds.). Number theory (New York, 2003). New York: Springer-Verlag. pp. 179–192. doi:10.1007/978-1-4419-9060-0_10. ISBN 978-0-387-40655-8. MR 2044518.
↑ Baas, Nils A.; Skau, Christian F. (2008). "The lord of the numbers, Atle Selberg. On his life and mathematics" (PDF). Bull. Amer. Math. Soc. 45 (4): 617–649. doi:10.1090/S0273-0979-08-01223-8. MR 2434348.
↑ Cornaros, Charalambos; Dimitracopoulos, Costas (1994). "The prime number theorem and fragments of PA" (PDF). Archive for Mathematical Logic. 33 (4): 265–281. doi:10.1007/BF01270626. MR 1294272. S2CID 29171246. Archived from the original (PDF) on 2011-07-21.
↑ ^27.0 ^27.1 Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul (2008). "A formally verified proof of the prime number theorem". ACM Transactions on Computational Logic. 9 (1): 2. arXiv:cs/0509025. doi:10.1145/1297658.1297660. MR 2371488. S2CID 7720253.
↑ Harrison, John (2009). "Formalizing an analytic proof of the Prime Number Theorem". Journal of Automated Reasoning. 43 (3): 243–261. CiteSeerX 10.1.1.646.9725. doi:10.1007/s10817-009-9145-6. MR 2544285. S2CID 8032103.
↑ Soprounov, Ivan (1998). "A short proof of the Prime Number Theorem for arithmetic progressions" (PDF). Ohio: Cleveland State University.
↑ Bennett, Michael A.; Martin, Greg; O'Bryant, Kevin; Rechnitzer, Andrew (2018). "Explicit bounds for primes in arithmetic progressions". Illinois J. Math. 62 (1–4): 427–532. arXiv:1802.00085. doi:10.1215/ijm/1552442669. S2CID 119647640.
↑ ^31.0 ^31.1 ^31.2 Granville, Andrew; Martin, Greg (2006). "Prime number races" (PDF). American Mathematical Monthly. 113 (1): 1–33. doi:10.2307/27641834. JSTOR 27641834. MR 2202918.
↑ Guy, Richard K. (2004). Unsolved Problems in Number Theory (3rd ed.). Springer-Verlag. A4. ISBN 978-0-387-20860-2. Zbl 1058.11001.
↑ Dusart, Pierre (26 May 1998). Autour de la fonction qui compte le nombre de nombres premiers. département de Mathématiques (Ph.D. thesis) (in français). Limoges, France: l'Université de Limoges.
↑ ^34.0 ^34.1 Rosser, Barkley (1941). "Explicit bounds for some functions of prime numbers". American Journal of Mathematics. 63 (1): 211–232. doi:10.2307/2371291. JSTOR 2371291. MR 0003018.
↑ Dusart, Pierre (2010). "Estimates of some functions over primes, without R.H.". arXiv:1002.0442 [math.NT].
↑ Cesàro, Ernesto (1894). "Sur une formule empirique de M. Pervouchine". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences (in français). 119: 848–849.
↑ Dusart, Pierre (1999). "The $k$ [[Category: Templates Vigyan Ready]]th prime is greater than $k (log k + log log k -1)$ [[Category: Templates Vigyan Ready]] for $k \geq 2$ [[Category: Templates Vigyan Ready]]". Mathematics of Computation. 68 (225): 411–415. doi:10.1090/S0025-5718-99-01037-6. MR 1620223. {{cite journal}}: URL–wikilink conflict (help)
↑ "Conditional Calculation of $π (10 24)$ [[Category: Templates Vigyan Ready]]". Chris K. Caldwell. Archived from the original on 2010-08-04. Retrieved 2010-08-03. {{cite web}}: URL–wikilink conflict (help)
↑ Platt, David (2015). "Computing $π (x)$ analytically". Mathematics of Computation. 84 (293): 1521–1535. arXiv:1203.5712. doi:10.1090/S0025-5718-2014-02884-6. MR 3315519. S2CID 119174627.
↑ Chebolu, Sunil; Mináč, Ján (December 2011). "Counting Irreducible Polynomials over Finite Fields Using the Inclusion $π$ Exclusion Principle". Mathematics Magazine. 84 (5): 369–371. arXiv:1001.0409. doi:10.4169/math.mag.84.5.369. JSTOR 10.4169/math.mag.84.5.369. S2CID 115181186.

संदर्भ

Granville, Andrew (1995). "Harald Cramér and the distribution of prime numbers" (PDF). Scandinavian Actuarial Journal. 1: 12–28. CiteSeerX 10.1.1.129.6847. doi:10.1080/03461238.1995.10413946.
Hardy, G.H.; Littlewood, J.E. (1916). "Contributions to the theory of the Riemann zeta-function and the theory of the distribution of primes". Acta Mathematica. 41: 119–196. doi:10.1007/BF02422942. S2CID 53405990.
Hardy, G. H.; Wright, E. M. (2008) [1st ed. 1938], An Introduction to the Theory of Numbers, Revised by D. R. Heath-Brown and J. H. Silverman, with a foreword by Andrew Wiles (6th ed.), Oxford: Oxford University Press, ISBN 978-0-19-921985-8
Narkiewicz, Władysław (2000), The Development of Prime Number Theory: From Euclid to Hardy and Littlewood, Springer Monographs in Mathematics, Springer-Verlag, doi:10.1007/978-3-662-13157-2, ISBN 978-3-540-66289-1, ISSN 1439-7382

बाहरी संबंध

"Distribution of prime numbers", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
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? Archived 2012-10-15 at the Wayback Machine 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/

[Hadamard1896-1] 1.0 ^1.1 Hadamard, Jacques (1896), "Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.", Bulletin de la Société Mathématique de France, Société Mathématique de France, 24: 199–220, archived from the original on 2012-07-17

[de_la_Vallée_Poussin1896-2] 2.0 ^2.1 de la Vallée Poussin, Charles-Jean (1896), "Recherches analytiques sur la théorie des nombres premiers.", Annales de la Société scientifique de Bruxelles, Imprimeur de l'Académie Royale de Belgique, 20 B, 21 B: 183–256, 281–352, 363–397, 351–368

[3] Hoffman, Paul (1998). The Man Who Loved Only Numbers. New York: Hyperion Books. p. 227. ISBN 978-0-7868-8406-3. MR 1666054.

[4] "Prime Curios!: 8512677386048191063". Prime Curios!. University of Tennessee at Martin. 2011-10-09.

[5] M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 80–82. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.

[6] M. Apostol, Tom (1976). Introduction to Analytic Number Theory. Undergraduate Texts in Mathematics (1 ed.). Springer. pp. 92–94. doi:10.1007/978-1-4757-5579-4. ISBN 978-1-4757-5579-4.

[7] Gauss, C. F. (1863), Werke, vol. 2 (1st ed.), Göttingen: Teubner, pp. 444–447.

[8] Costa Pereira, N. (August–September 1985). "A Short Proof of Chebyshev's Theorem". American Mathematical Monthly. 92 (7): 494–495. doi:10.2307/2322510. JSTOR 2322510.

[9] Nair, M. (February 1982). "On Chebyshev-Type Inequalities for Primes". American Mathematical Monthly. 89 (2): 126–129. doi:10.2307/2320934. JSTOR 2320934.

[10] Ingham, A. E. (1990). The Distribution of Prime Numbers. Cambridge University Press. pp. 2–5. ISBN 978-0-521-39789-6.

[Selberg1949-11] 11.0 ^11.1 Selberg, Atle (1949), "An Elementary Proof of the Prime-Number Theorem", Annals of Mathematics, 50 (2): 305–313, doi:10.2307/1969455, JSTOR 1969455, MR 0029410, S2CID 124153092

[Erdős1949-12] 12.0 ^12.1 Erdős, Paul (1949-07-01), "On a new method in elementary number theory which leads to an elementary proof of the prime number theorem" (PDF), Proceedings of the National Academy of Sciences, U.S.A.: National Academy of Sciences, 35 (7): 374–384, Bibcode:1949PNAS...35..374E, doi:10.1073/pnas.35.7.374, PMC 1063042, PMID 16588909

[13] Newman, Donald J. (1980). "अभाज्य संख्या प्रमेय का सरल विश्लेषणात्मक प्रमाण". American Mathematical Monthly. 87 (9): 693–696. doi:10.2307/2321853. JSTOR 2321853. MR 0602825.

[:0-14] 14.0 ^14.1 Zagier, Don (1997). "Newman's short proof of the prime number theorem". American Mathematical Monthly. 104 (8): 705–708. doi:10.2307/2975232. JSTOR 2975232. MR 1476753.

[15] Tao, Terence (10 December 2014). "254A, Notes 2: Complex-analytic multiplicative number theory". Terence Tao's blog.

[16] Edwards, Harold M. (2001). Riemann's zeta function. Courier Dover Publications. ISBN 978-0-486-41740-0.

[de_la_Vallée_Poussin1899-17] {{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1899|title=Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|journal=Mémoires couronnés de l'Académie de Belgique|publisher=Imprimeur de l'Académie Royale de Belgique|volume=59|pages=1–74|url=https://books.google.com/books?id=_O0GAAAAYAAJ}

[Ford-18] Kevin Ford (2002). "Vinogradov's Integral and Bounds for the Riemann Zeta Function" (PDF). Proc. London Math. Soc. 85 (3): 565–633. arXiv:1910.08209. doi:10.1112/S0024611502013655. S2CID 121144007.

[19] Tim Trudgian (February 2016). "Updating the error term in the prime number theorem". Ramanujan Journal. 39 (2): 225–234. arXiv:1401.2689. doi:10.1007/s11139-014-9656-6. S2CID 11013503.

[20] von Koch, Helge (1901). "Sur la distribution des nombres premiers" [On the distribution of prime numbers]. Acta Mathematica (in français). 24 (1): 159–182. doi:10.1007/BF02403071. MR 1554926. S2CID 119914826.

[21] Schoenfeld, Lowell (1976). "Sharper Bounds for the Chebyshev Functions $ϑ (x)$ and $ψ (x)$ . II". Mathematics of Computation. 30 (134): 337–360. doi:10.2307/2005976. JSTOR 2005976. MR 0457374.

[22] Jørgensen, Bent; Martínez, José Raúl; Tsao, Min (1994). "Asymptotic behaviour of the variance function". Scandinavian Journal of Statistics. 21 (3): 223–243. JSTOR 4616314. MR 1292637.

[23] Littlewood, J.E. (1914). "Sur la distribution des nombres premiers". Comptes Rendus. 158: 1869–1872. JFM 45.0305.01.

[Goldfeld_Historical_Perspective-24] 24.0 ^24.1 ^24.2 Goldfeld, Dorian (2004). "The elementary proof of the prime number theorem: an historical perspective" (PDF). In Chudnovsky, David; Chudnovsky, Gregory; Nathanson, Melvyn (eds.). Number theory (New York, 2003). New York: Springer-Verlag. pp. 179–192. doi:10.1007/978-1-4419-9060-0_10. ISBN 978-0-387-40655-8. MR 2044518.

[interview-25] Baas, Nils A.; Skau, Christian F. (2008). "The lord of the numbers, Atle Selberg. On his life and mathematics" (PDF). Bull. Amer. Math. Soc. 45 (4): 617–649. doi:10.1090/S0273-0979-08-01223-8. MR 2434348.

[26] Cornaros, Charalambos; Dimitracopoulos, Costas (1994). "The prime number theorem and fragments of PA" (PDF). Archive for Mathematical Logic. 33 (4): 265–281. doi:10.1007/BF01270626. MR 1294272. S2CID 29171246. Archived from the original (PDF) on 2011-07-21.

[Avigad-27] 27.0 ^27.1 Avigad, Jeremy; Donnelly, Kevin; Gray, David; Raff, Paul (2008). "A formally verified proof of the prime number theorem". ACM Transactions on Computational Logic. 9 (1): 2. arXiv:cs/0509025. doi:10.1145/1297658.1297660. MR 2371488. S2CID 7720253.

[28] Harrison, John (2009). "Formalizing an analytic proof of the Prime Number Theorem". Journal of Automated Reasoning. 43 (3): 243–261. CiteSeerX 10.1.1.646.9725. doi:10.1007/s10817-009-9145-6. MR 2544285. S2CID 8032103.

[29] Soprounov, Ivan (1998). "A short proof of the Prime Number Theorem for arithmetic progressions" (PDF). Ohio: Cleveland State University.

[30] Bennett, Michael A.; Martin, Greg; O'Bryant, Kevin; Rechnitzer, Andrew (2018). "Explicit bounds for primes in arithmetic progressions". Illinois J. Math. 62 (1–4): 427–532. arXiv:1802.00085. doi:10.1215/ijm/1552442669. S2CID 119647640.

[Granville_Martin_MAA-31] 31.0 ^31.1 ^31.2 Granville, Andrew; Martin, Greg (2006). "Prime number races" (PDF). American Mathematical Monthly. 113 (1): 1–33. doi:10.2307/27641834. JSTOR 27641834. MR 2202918.

[GuyA4-32] Guy, Richard K. (2004). Unsolved Problems in Number Theory (3rd ed.). Springer-Verlag. A4. ISBN 978-0-387-20860-2. Zbl 1058.11001.

[33] Dusart, Pierre (26 May 1998). Autour de la fonction qui compte le nombre de nombres premiers. département de Mathématiques (Ph.D. thesis) (in français). Limoges, France: l'Université de Limoges.

[rosser-34] 34.0 ^34.1 Rosser, Barkley (1941). "Explicit bounds for some functions of prime numbers". American Journal of Mathematics. 63 (1): 211–232. doi:10.2307/2371291. JSTOR 2371291. MR 0003018.

[35] Dusart, Pierre (2010). "Estimates of some functions over primes, without R.H.". arXiv:1002.0442 [math.NT].

[36] Cesàro, Ernesto (1894). "Sur une formule empirique de M. Pervouchine". Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences (in français). 119: 848–849.

[37] Dusart, Pierre (1999). "The $k$ [[Category: Templates Vigyan Ready]]th prime is greater than $k (log k + log log k -1)$ [[Category: Templates Vigyan Ready]] for $k \geq 2$ [[Category: Templates Vigyan Ready]]". Mathematics of Computation. 68 (225): 411–415. doi:10.1090/S0025-5718-99-01037-6. MR 1620223. {{cite journal}}: URL–wikilink conflict (help)

[Franke-38] "Conditional Calculation of $π (10 24)$ [[Category: Templates Vigyan Ready]]". Chris K. Caldwell. Archived from the original on 2010-08-04. Retrieved 2010-08-03. {{cite web}}: URL–wikilink conflict (help)

[PlattARXIV2012-39] Platt, David (2015). "Computing $π (x)$ analytically". Mathematics of Computation. 84 (293): 1521–1535. arXiv:1203.5712. doi:10.1090/S0025-5718-2014-02884-6. MR 3315519. S2CID 119174627.

[40] Chebolu, Sunil; Mináč, Ján (December 2011). "Counting Irreducible Polynomials over Finite Fields Using the Inclusion $π$ Exclusion Principle". Mathematics Magazine. 84 (5): 369–371. arXiv:1001.0409. doi:10.4169/math.mag.84.5.369. JSTOR 10.4169/math.mag.84.5.369. S2CID 115181186.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

[14]

[15]

[16]

[17]

[18]

[19]

[20]

[21]

[22]

[23]

[24]

[25]

[26]

[27]

[28]

[29]

[30]

[31]

[32]

[33]

[34]

[35]

[36]

[37]

[38]

[39]

[40]

Anonymous

Search

अभाज्य संख्या प्रमेय: Difference between revisions

Namespaces

More

Page actions

Latest revision as of 13:43, 6 September 2023

Contents

कथन

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास

प्रमाण स्केच

गैर-लुप्त होने पर $Re(s) = 1$

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण

लॉगरिदमिक इंटीग्रल के संदर्भ में प्राइम-काउंटिंग फलन

प्राथमिक प्रमाण

कंप्यूटर सत्यापन

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

अभाज्य संख्या जाति

प्राइम-काउंटिंग फलन पर गैर-असिम्प्टोटिक सीमाएँ

$n$ वें अभाज्य संख्या के लिए अनुमान

$π (x)$ , $x / log x$ , और $li(x)$ की तालिका

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप

यह भी देखें

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Navigation

Wiki tools

Wiki tools

@@ Line 1: / Line 1: @@
-{{short description|Characterization of how many integers are prime}}
+गणित में, '''[[अभाज्य संख्या]] प्रमेय''' (पीएनटी) धनात्मक पूर्णांकों के बीच अभाज्य संख्याओं के विषम विश्लेषण वितरण का वर्णन करता है। यह सहज ज्ञान युक्त विचार को औपचारिक रूप देता है कि प्राइम कम सामान्य हो जाते हैं क्योंकि वे उस दर को स्पष्ट रूप से मापते हैं जिस पर यह घटित होता है। [[जैक्स हैडमार्ड]] द्वारा प्रमेय को स्वतंत्र रूप से सिद्ध किया गया था <ref name="Hadamard1896">{{Citation|last=Hadamard|first=Jacques|author-link=Jacques Hadamard|year=1896|title=Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.|journal=Bulletin de la Société Mathématique de France|publisher=Société Mathématique de France|volume=24|pages=199–220|url=http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 |archive-url=https://web.archive.org/web/20120717195014/http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 |archive-date=2012-07-17 }}</ref> और चार्ल्स जीन डे ला वाली पुसिन <ref name="de la Vallée Poussin1896">{{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1896|title=Recherches analytiques sur la théorie des nombres premiers.|journal=Annales de la Société scientifique de Bruxelles|publisher=Imprimeur de l'Académie Royale de Belgique|volume=20 B; 21 B|pages=183-256, 281-352, 363-397; 351-368|url=http://sciences.amisbnf.org/fr/livre/recherches-analytiques-de-la-theorie-des-nombres-premiers}}</ref> 1896 में [[बर्नहार्ड रीमैन]] (विशेष रूप से, [[रीमैन जीटा फ़ंक्शन|रीमैन जीटा फलन]]) द्वारा प्रस्तुत किए गए विचारों का उपयोग करते हुए।
-{{log(x)}}
-गणित में, [[अभाज्य संख्या]] प्रमेय (PNT) सकारात्मक पूर्णांकों के बीच अभाज्य संख्याओं के विषम विश्लेषण वितरण का वर्णन करता है। यह सहज ज्ञान युक्त विचार को औपचारिक रूप देता है कि प्राइम कम सामान्य हो जाते हैं क्योंकि वे उस दर को सटीक रूप से मापते हैं जिस पर यह घटित होता है। [[जैक्स हैडमार्ड]] द्वारा प्रमेय को स्वतंत्र रूप से सिद्ध किया गया था<ref name="Hadamard1896">{{Citation|last=Hadamard|first=Jacques|author-link=Jacques Hadamard|year=1896|title=Sur la distribution des zéros de la fonction ζ(s) et ses conséquences arithmétiques.|journal=Bulletin de la Société Mathématique de France|publisher=Société Mathématique de France|volume=24|pages=199–220|url=http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 |archive-url=https://web.archive.org/web/20120717195014/http://www.numdam.org/numdam-bin/fitem?id=BSMF_1896__24__199_1 |archive-date=2012-07-17 }}</ref> और चार्ल्स जीन डे ला वाली पुसिन<ref name="de la Vallée Poussin1896">{{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1896|title=Recherches analytiques sur la théorie des nombres premiers.|journal=Annales de la Société scientifique de Bruxelles|publisher=Imprimeur de l'Académie Royale de Belgique|volume=20 B; 21 B|pages=183-256, 281-352, 363-397; 351-368|url=http://sciences.amisbnf.org/fr/livre/recherches-analytiques-de-la-theorie-des-nombres-premiers}}</ref> 1896 में [[बर्नहार्ड रीमैन]] (विशेष रूप से, [[रीमैन जीटा फ़ंक्शन]]) द्वारा पेश किए गए विचारों का उपयोग करते हुए।
-इस तरह का पहला वितरण पाया गया है {{math|''π''(''N'') ~ {{sfrac|''N''|log(''N'')}}}}, कहाँ {{math|''π''(''N'')}} [[प्राइम-काउंटिंग फंक्शन]] है (एन से कम या उसके बराबर प्राइम्स की संख्या) और {{math|log(''N'')}} का [[प्राकृतिक]] लघुगणक है {{mvar|N}}. इसका मतलब है कि काफी बड़े के लिए {{mvar|N}}[[संभावना]] है कि एक यादृच्छिक पूर्णांक से अधिक नहीं है {{mvar|N}} प्राइम के बहुत करीब है {{math|1 / log(''N'')}}. नतीजतन, अधिकतम के साथ एक यादृच्छिक पूर्णांक {{math|2''n''}} अंक (पर्याप्त बड़े के लिए {{mvar|n}}) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग आधा है {{mvar|n}} अंक। उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग एक अभाज्य है ({{math|log(10<sup>1000</sup>) ≈ 2302.6}}), जबकि अधिकतम 2000 अंकों के सकारात्मक पूर्णांकों में से, 4600 में लगभग एक अभाज्य है ({{math|log(10<sup>2000</sup>) ≈ 4605.2}}). दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर {{mvar|N}} पूर्णांक मोटे तौर पर है {{math|log(''N'')}}.<ref>{{cite book|last = Hoffman|first = Paul|title = The Man Who Loved Only Numbers|url = https://archive.org/details/manwholovedonlyn00hoff/page/227|url-access = registration|publisher = Hyperion Books|year = 1998|page = [https://archive.org/details/manwholovedonlyn00hoff/page/227 227]|isbn = 978-0-7868-8406-3|mr = 1666054|location = New York}}</ref>
+इस तरह का पहला वितरण {{math|''π''(''N'') ~ {{sfrac|''N''|log(''N'')}}}} पाया गया है , जहाँ {{math|''π''(''N'')}} [[प्राइम-काउंटिंग फलन|प्राइम-काउंटिंग फलन]] है (N से कम या उसके सामान्य प्राइम्स की संख्या) और {{math|log(''N'')}} का [[प्राकृतिक]] लघुगणक {{mvar|N}} है . इसका कारण है कि अधिक बड़े के लिए {{mvar|N}} [[संभावना]] है कि यादृच्छिक पूर्णांक से अधिक {{mvar|N}} नहीं है प्राइम {{math|1 / log(''N'')}} के बहुत निकट है . परिणाम स्वरुप, अधिकतम के साथ यादृच्छिक पूर्णांक {{math|2''n''}} अंक (पर्याप्त बड़े {{mvar|n}} के लिए) अधिक से अधिक यादृच्छिक पूर्णांक के रूप में अभाज्य होने की संभावना से लगभग {{mvar|n}} आधा है । उदाहरण के लिए, अधिकतम 1000 अंकों के धनात्मक पूर्णांकों में से, 2300 में लगभग ({{math|log(10<sup>1000</sup>) ≈ 2302.6}}) अभाज्य है , जबकि अधिकतम 2000 अंकों के धनात्मक पूर्णांकों में से, 4600 में लगभग {{math|log(10<sup>2000</sup>) ≈ 4605.2}} अभाज्य है दूसरे शब्दों में, पहले के बीच क्रमागत अभाज्य संख्याओं के बीच का औसत अंतर {{mvar|N}} पूर्णांक सामान्यतः {{math|log(''N'')}} है .<ref>{{cite book|last = Hoffman|first = Paul|title = The Man Who Loved Only Numbers|url = https://archive.org/details/manwholovedonlyn00hoff/page/227|url-access = registration|publisher = Hyperion Books|year = 1998|page = [https://archive.org/details/manwholovedonlyn00hoff/page/227 227]|isbn = 978-0-7868-8406-3|mr = 1666054|location = New York}}</ref>
+== कथन                                                                                                 ==
+[[File:Prime number theorem ratio convergence.svg|thumb|300px|प्राइम-काउंटिंग फलन का अनुपात दिखाने वाला ग्राफ़ {{math|''π''(''x'')}} इसके दो अनुमानों के लिए, {{math|''x'' / log ''x''}} और {{math|Li(''x'')}}. जैसा {{mvar|x}} बढ़ता है (ध्यान दें {{mvar|x}} अक्ष लॉगरिदमिक है), दोनों अनुपात 1 की ओर जाते हैं। अनुपात के लिए {{math|''x'' / log ''x''}} ऊपर से बहुत धीरे-धीरे परिवर्तित होता है, जबकि अनुपात के लिए {{math|Li(''x'')}} नीचे से अधिक तेज़ी से एकाग्र होता है।]]
+[[File:Prime number theorem absolute error.svg|thumb|300px|लॉग-लॉग प्लॉट की पूर्ण त्रुटि दिखा रहा है {{math|''x'' / log ''x''}} और {{math|Li(''x'')}}, प्राइम-काउंटिंग फलन के दो सन्निकटन {{math|''π''(''x'')}}. अनुपात के विपरीत, के बीच का अंतर {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} के रूप में बिना किसी सीमा के बढ़ता है {{mvar|x}} बढ़ती है। वहीं दूसरी ओर, {{math|Li(''x'') − ''π''(''x'')}} स्विच अनंत बार हस्ताक्षर करते हैं।]]
+माना {{math|''π''(''x'')}} प्राइम-काउंटिंग फलन बनें, जो प्राइम्स की संख्या से कम या उसके सामान्य {{mvar|x}} हो , किसी भी वास्तविक संख्या {{mvar|x}} के लिए. उदाहरण के लिए, {{math|''π''(10) {{=}} 4}} क्योंकि चार अभाज्य संख्याएँ (2, 3, 5 और 7) 10 से कम या उसके सामान्य हैं। अभाज्य संख्या प्रमेय तब बताता है कि {{math|''x'' / log ''x''}} का अच्छा अनुमान {{math|''π''(''x'')}} है (जहाँ log का अर्थ है प्राकृतिक लघुगणक), इस अर्थ में कि दो फलनों के भागफल के फलन की सीमा {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} जैसा {{mvar|x}} बिना किसी सीमा के बढ़ता है :
-== कथन ==
-[[File:Prime number theorem ratio convergence.svg|thumb|300px|प्राइम-काउंटिंग फ़ंक्शन का अनुपात दिखाने वाला ग्राफ़ {{math|''π''(''x'')}} इसके दो अनुमानों के लिए, {{math|''x'' / log ''x''}} और {{math|Li(''x'')}}. जैसा {{mvar|x}} बढ़ता है (ध्यान दें {{mvar|x}} अक्ष लॉगरिदमिक है), दोनों अनुपात 1 की ओर जाते हैं। अनुपात के लिए {{math|''x'' / log ''x''}} ऊपर से बहुत धीरे-धीरे परिवर्तित होता है, जबकि अनुपात के लिए {{math|Li(''x'')}} नीचे से अधिक तेज़ी से एकाग्र होता है।]]
-[[File:Prime number theorem absolute error.svg|thumb|300px|लॉग-लॉग प्लॉट की पूर्ण त्रुटि दिखा रहा है {{math|''x'' / log ''x''}} और {{math|Li(''x'')}}, प्राइम-काउंटिंग फंक्शन के दो सन्निकटन {{math|''π''(''x'')}}. अनुपात के विपरीत, के बीच का अंतर {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} के रूप में बिना किसी सीमा के बढ़ता है {{mvar|x}} बढ़ती है। वहीं दूसरी ओर, {{math|Li(''x'') − ''π''(''x'')}} स्विच अनंत बार हस्ताक्षर करते हैं।]]
-<!--[[Image:PrimeNumberTheorem.svg|thumb|right|250px|Graph comparing {{math|''π''(''x'')}} (red), {{math|''x'' / log ''x''}} (green) and {{math|Li(''x'')}} (blue)]] -->
-होने देना {{math|''π''(''x'')}} प्राइम-काउंटिंग फंक्शन बनें, जो प्राइम्स की संख्या से कम या उसके बराबर हो {{mvar|x}}, किसी भी वास्तविक संख्या के लिए{{mvar|x}}. उदाहरण के लिए, {{math|''π''(10) {{=}} 4}} क्योंकि चार अभाज्य संख्याएँ (2, 3, 5 और 7) 10 से कम या उसके बराबर हैं। अभाज्य संख्या प्रमेय तब बताता है कि {{math|''x'' / log ''x''}} का अच्छा अनुमान है {{math|''π''(''x'')}} (जहाँ log का अर्थ है प्राकृतिक लघुगणक), इस अर्थ में कि दो कार्यों के भागफल के एक कार्य की सीमा {{math|''π''(''x'')}} और {{math|''x'' / log ''x''}} जैसा {{mvar|x}} बिना किसी सीमा के बढ़ता है 1:
 : <math>\lim_{x\to\infty}\frac{\;\pi(x)\;}{\;\left[ \frac{x}{\log(x)}\right]\;} = 1,</math>
@@ Line 16: / Line 12: @@
 :<math>\pi(x)\sim \frac{x}{\log x}.</math>
-यह संकेतन (और प्रमेय) दो कार्यों के अंतर की सीमा के बारे में कुछ नहीं कहता है {{mvar|x}} बिना सीमा के बढ़ता है। इसके बजाय, प्रमेय कहता है कि {{math|''x'' / log ''x''}} अनुमानित {{math|''π''(''x'')}} इस अर्थ में कि इस सन्निकटन की सापेक्ष त्रुटि 0 तक पहुँचती है {{mvar|x}} बिना सीमा के बढ़ता है।
+यह संकेतन (और प्रमेय) दो फलनों के अंतर की सीमा के बारे में कुछ नहीं कहता है इस प्रकार {{mvar|x}} बिना सीमा के बढ़ता है। इसके अतिरिक्त, प्रमेय कहता है कि {{math|''x'' / log ''x''}} अनुमानित {{math|''π''(''x'')}} इस अर्थ में कि इस सन्निकटन की सापेक्ष त्रुटि 0 तक पहुँचती है {{mvar|x}} बिना सीमा के बढ़ता है।
 अभाज्य संख्या प्रमेय इस कथन के समतुल्य है कि {{mvar|n}}वें अभाज्य संख्या {{mvar|p<sub>n</sub>}} संतुष्ट
 :<math>p_n \sim n\log(n),</math>
-स्पर्शोन्मुख संकेतन का अर्थ है, फिर से, कि इस सन्निकटन की सापेक्ष त्रुटि 0 के रूप में पहुंचती है {{mvar|n}} बिना सीमा के बढ़ता है। उदाहरण के लिए, द {{val|2|e=17}}वें अभाज्य संख्या है {{val|8512677386048191063}},<ref>{{cite web|title=Prime Curios!: 8512677386048191063|url=http://primes.utm.edu/curios/cpage/24149.html|work=Prime Curios!|publisher=University of Tennessee at Martin|date=2011-10-09}}</ref> और ({{val|2|e=17}})लकड़ी का लट्ठा({{val|2|e=17}}) तक चक्कर लगाता है {{val|7967418752291744388}}, लगभग 6.4% की सापेक्ष त्रुटि।
+स्पर्शोन्मुख संकेतन का अर्थ है, फिर से, कि इस सन्निकटन की सापेक्ष त्रुटि 0 के रूप में पहुंचती है {{mvar|n}} बिना सीमा के बढ़ता है। उदाहरण के लिए, द {{val|2|e=17}}वें अभाज्य संख्या है {{val|8512677386048191063}},<ref>{{cite web|title=Prime Curios!: 8512677386048191063|url=http://primes.utm.edu/curios/cpage/24149.html|work=Prime Curios!|publisher=University of Tennessee at Martin|date=2011-10-09}}</ref> और ({{val|2|e=17}}) log ({{val|2|e=17}}) तक चक्कर लगाता है {{val|7967418752291744388}}, लगभग 6.4% की सापेक्ष त्रुटि है।
 दूसरी ओर, निम्नलिखित स्पर्शोन्मुख संबंध तार्किक रूप से समतुल्य हैं:<ref>{{cite book |last1=M. Apostol |first1=Tom |title=Introduction to Analytic Number Theory |series=Undergraduate Texts in Mathematics |year=1976 |publisher=Springer |isbn=978-1-4757-5579-4 |pages=80–82 |doi=10.1007/978-1-4757-5579-4 |edition=1 |url=https://link.springer.com/book/10.1007/978-1-4757-5579-4#about}}</ref>
 :<math>\begin{align}
      \lim_{x\rightarrow \infty}\frac{\pi(x)\log x}{x}&=1,\\
@@ Line 29: / Line 25: @@
 \end{align}
 </math>
-जैसा कि रेखांकित किया गया #प्रूफ स्केच, अभाज्य संख्या प्रमेय भी किसके समतुल्य है
+जैसा कि रेखांकित किया गया प्रूफ स्केच, अभाज्य संख्या प्रमेय भी किसके समतुल्य है
 :<math>\lim_{x\to\infty} \frac{\vartheta (x)}x = \lim_{x\to\infty} \frac{\psi(x)}x=1,</math>
-कहाँ {{mvar|{{not a typo|ϑ}}}} और {{mvar|ψ}} क्रमशः [[चेबीशेव समारोह]] हैं, और
+जहाँ {{mvar|{{not a typo|ϑ}}}} और {{mvar|ψ}} क्रमशः [[चेबीशेव समारोह|चेबीशेव फलन]] हैं, और
 :<math>\lim_{x \to \infty} \frac{M(x)}{x}=0,</math><ref>{{cite book |last1=M. Apostol |first1=Tom |title=Introduction to Analytic Number Theory |series=Undergraduate Texts in Mathematics |year=1976 |publisher=Springer |isbn=978-1-4757-5579-4 |pages=92–94 |doi=10.1007/978-1-4757-5579-4 |edition=1 |url=https://link.springer.com/book/10.1007/978-1-4757-5579-4#about}}</ref>
-कहाँ <math>M(x)=\sum_{n \leq x} \mu(n)</math> [[मेर्टेंस कार्य करता है]] है।
+जहाँ <math>M(x)=\sum_{n \leq x} \mu(n)</math> [[मेर्टेंस फलन करता है]]।
-== अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास ==
+== अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास                                                                                                                                               ==
-[[एंटोन फेलकेल]] और [[यूरी वेगा]] द्वारा तालिकाओं के आधार पर, [[एड्रियन मैरी लीजेंड्रे]] ने 1797 या 1798 में अनुमान लगाया कि {{math|''π''(''a'')}} समारोह द्वारा अनुमानित है {{math|''a'' / (''A'' log ''a'' + ''B'')}}, कहाँ {{mvar|A}} और {{mvar|B}} अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर एक लीजेंड्रे स्थिरांक बनाया, जिसके साथ {{math|''A'' {{=}} 1}} और {{math|''B'' {{=}} −1.08366}}. [[कार्ल फ्रेडरिक गॉस]] ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया, 1849 में अपने स्वयं के स्मरण के अनुसार।<ref>{{Citation|last=Gauss|first=C. F.|author-link=Carl Friedrich Gauss|year=1863|title=Werke|publisher=Teubner|location=Göttingen|edition=1st|volume=2|pages=444–447|url=https://archive.org/details/carlfriedrichgu00gausgoog/page/444/mode/2up}}.</ref> 1838 में [[पीटर गुस्ताव लेज्यून डिरिचलेट]] अपने स्वयं के सन्निकटन कार्य, [[लॉगरिदमिक इंटीग्रल]] के साथ आए {{math|li(''x'')}} (श्रृंखला के थोड़े अलग रूप के तहत, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं {{math|''π''(''x'')}} और {{math|''x'' / log(''x'')}} ऊपर कहा गया है, हालांकि यह पता चला है कि डिरिक्लेट का सन्निकटन काफी बेहतर है यदि कोई भागफल के बजाय अंतरों पर विचार करता है।
+[[एंटोन फेलकेल]] और [[यूरी वेगा]] द्वारा तालिकाओं के आधार पर, [[एड्रियन मैरी लीजेंड्रे]] ने 1797 या 1798 में अनुमान लगाया कि {{math|''π''(''a'')}} फलन {{math|''a'' / (''A'' log ''a'' + ''B'')}} द्वारा अनुमानित है , जहाँ {{mvar|A}} और {{mvar|B}} अनिर्दिष्ट स्थिरांक हैं। संख्या सिद्धांत (1808) पर अपनी पुस्तक के दूसरे संस्करण में उन्होंने फिर लीजेंड्रे स्थिरांक बनाया जाता है, जिसके साथ {{math|''A'' {{=}} 1}} और {{math|''B'' {{=}} −1.08366}}. [[कार्ल फ्रेडरिक गॉस]] ने इसी प्रश्न पर 15 या 16 वर्ष की आयु में 1792 या 1793 में विचार किया था, 1849 में अपने स्वयं के स्मरण के अनुसार <ref>{{Citation|last=Gauss|first=C. F.|author-link=Carl Friedrich Gauss|year=1863|title=Werke|publisher=Teubner|location=Göttingen|edition=1st|volume=2|pages=444–447|url=https://archive.org/details/carlfriedrichgu00gausgoog/page/444/mode/2up}}.</ref> 1838 में [[पीटर गुस्ताव लेज्यून डिरिचलेट]] अपने स्वयं के सन्निकटन फलन, [[लॉगरिदमिक इंटीग्रल]] के साथ आए {{math|li(''x'')}} (श्रृंखला के थोड़े अलग रूप के अनुसार, जिसे उन्होंने गॉस को बताया)। लीजेंड्रे और डिरिचलेट के दोनों सूत्र समान अनुमानित स्पर्शोन्मुख तुल्यता का संकेत देते हैं इस प्रकार {{math|''π''(''x'')}} और {{math|''x'' / log(''x'')}} ऊपर कहा गया है, चूँकि यह पता चला है कि डिरिक्लेट का सन्निकटन अधिक उत्तम है यदि कोई भागफल के अतिरिक्त अंतरों पर विचार करता है।
-और 1850 के दो पत्रों में, रूसी गणितज्ञ [[Pafnuty Chebyshev]] ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया। जीटा फ़ंक्शन के उपयोग के लिए उनका काम उल्लेखनीय है {{math|''ζ''(''s'')}}, तर्क के वास्तविक मूल्यों के लिए{{mvar|s}}, जैसा कि 1737 की शुरुआत में [[लियोनहार्ड यूलर]] के कार्यों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख कानून के थोड़े कमजोर रूप को साबित करने में सफल रहे, अर्थात्, यदि सीमा के रूप में {{mvar|x}} की अनंतता में जाता है {{math|''π''(''x'') / (''x'' / log(''x''))}} बिल्कुल मौजूद है, तो यह अनिवार्य रूप से एक के बराबर है।<ref>{{cite journal |first=N. |last=Costa Pereira |jstor=2322510 |title=A Short Proof of Chebyshev's Theorem |journal=American Mathematical Monthly|date=August–September 1985|pages=494–495|volume=92|doi=10.2307/2322510|issue=7}}</ref> वह बिना शर्त यह साबित करने में सक्षम था कि यह अनुपात 1 के करीब दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप से बड़ा {{mvar|x}}.<ref>{{cite journal |first=M. |last=Nair |jstor=2320934 |title=On Chebyshev-Type Inequalities for Primes |journal=American Mathematical Monthly |date=February 1982 |pages=126–129 |volume=89 |doi=10.2307/2320934 |issue=2}}</ref> हालांकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को साबित नहीं करता है, लेकिन उसका अनुमान है {{math|''π''(''x'')}} बर्ट्रेंड के अभिधारणा को साबित करने के लिए पर्याप्त मजबूत थे कि उनके बीच एक अभाज्य संख्या मौजूद है {{math|''n''}} और {{math|2''n''}} किसी भी पूर्णांक के लिए {{math|''n'' ≥ 2}}.
+और 1850 के दो पत्रों में, रूसी गणितज्ञ [[Pafnuty Chebyshev|पफनुटी चेबीशेव]] ने अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम को सिद्ध करने का प्रयास किया था। जीटा फलन के उपयोग के लिए उनका काम उल्लेखनीय है {{math|''ζ''(''s'')}}, तर्क के वास्तविक मूल्यों {{mvar|s}} के लिए, जैसा कि 1737 की प्रारंभ में [[लियोनहार्ड यूलर]] के फलनों में था। चेबीशेव के कागजात 1859 के रीमैन के प्रसिद्ध संस्मरण से पहले के थे, और वह स्पर्शोन्मुख नियम के थोड़े अशक्त रूप को सिद्ध करने में सफल रहे, अर्थात्, यदि सीमा के रूप में {{mvar|x}} की अनंतता में जाता है {{math|''π''(''x'') / (''x'' / log(''x''))}} बिल्कुल उपस्थित है, तो यह अनिवार्य रूप से के सामान्य है।<ref>{{cite journal |first=N. |last=Costa Pereira |jstor=2322510 |title=A Short Proof of Chebyshev's Theorem |journal=American Mathematical Monthly|date=August–September 1985|pages=494–495|volume=92|doi=10.2307/2322510|issue=7}}</ref> वह बिना नियम यह सिद्ध करने में सक्षम था कि यह अनुपात 1 के निकट दो स्पष्ट रूप से दिए गए स्थिरांक से ऊपर और नीचे घिरा हुआ है, सभी के लिए पर्याप्त रूप {{mvar|x}} से बड़ा .<ref>{{cite journal |first=M. |last=Nair |jstor=2320934 |title=On Chebyshev-Type Inequalities for Primes |journal=American Mathematical Monthly |date=February 1982 |pages=126–129 |volume=89 |doi=10.2307/2320934 |issue=2}}</ref> चूँकि चेबीशेव का पेपर प्राइम नंबर प्रमेय को सिद्ध नहीं करता है, किन्तु उसका अनुमान है {{math|''π''(''x'')}} बर्ट्रेंड के अभिधारणा को सिद्ध करने के लिए पर्याप्त सशक्त थे कि उनके बीच अभाज्य संख्या {{math|''n''}} और {{math|2''n''}} उपस्थित है किसी भी पूर्णांक के लिए {{math|''n'' ≥ 2}}.है
-अभाज्य संख्याओं के वितरण से संबंधित एक महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण [[किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर]] था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार पेश किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण एक जटिल चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फ़ंक्शन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक कार्य के अध्ययन के लिए [[जटिल विश्लेषण]] के तरीकों को लागू करने का विचार है {{math|''π''(''x'')}} उत्पत्ति। रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख कानून के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए<ref name="Hadamard1896" />और चार्ल्स जीन डे ला वाली पुसिन<ref name="de la Vallée Poussin1896" />और उसी वर्ष (1896) में दिखाई दिया। दोनों सबूतों ने जटिल विश्लेषण से तरीकों का इस्तेमाल किया, सबूत के एक मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा कार्य करता है {{math|''ζ''(''s'')}} चर के सभी जटिल मानों के लिए शून्य नहीं है {{mvar|s}} जिसका रूप है {{math|''s'' {{=}} 1 + ''it''}} साथ {{math|''t'' > 0}}.<ref>{{cite book |last = Ingham |first = A. E. |title = The Distribution of Prime Numbers |publisher = Cambridge University Press| year = 1990 |pages = 2–5 |isbn = 978-0-521-39789-6}}</ref>
+अभाज्य संख्याओं के वितरण से संबंधित महत्वपूर्ण पेपर रीमैन का 1859 का संस्मरण [[किसी दिए गए परिमाण से कम प्राइम्स की संख्या पर]] था, एकमात्र पेपर जो उन्होंने इस विषय पर लिखा था। रीमैन ने इस विषय में नए विचार प्रस्तुत किए, मुख्य रूप से यह कि अभाज्य संख्याओं का वितरण सम्मिश्र चर के विश्लेषणात्मक रूप से विस्तारित रीमैन ज़ेटा फलन के शून्य के साथ घनिष्ठ रूप से जुड़ा हुआ है। विशेष रूप से, यह इस पत्र में है कि वास्तविक फलन के अध्ययन के लिए [[सम्मिश्र विश्लेषण]] के विधियों को प्रयुक्त करने का विचार है {{math|''π''(''x'')}} उत्पत्ति रीमैन के विचारों का विस्तार करते हुए, अभाज्य संख्याओं के वितरण के स्पर्शोन्मुख नियम के दो प्रमाण स्वतंत्र रूप से जैक्स हैडमार्ड द्वारा पाए गए <ref name="Hadamard1896" /> और चार्ल्स जीन डे ला वाली पुसिन <ref name="de la Vallée Poussin1896" /> और उसी वर्ष (1896) में दिखाई दिया था। दोनों प्रमाणों ने सम्मिश्र विश्लेषण से विधियों का उपयोग किया था, प्रमाण के मुख्य चरण के रूप में स्थापित किया कि रीमैन जीटा फलन करता है {{math|''ζ''(''s'')}} चर के सभी सम्मिश्र मानों {{mvar|s}} के लिए शून्य नहीं है जिसका रूप {{math|''s'' {{=}} 1 + ''it''}} साथ {{math|''t'' > 0}} है.<ref>{{cite book |last = Ingham |first = A. E. |title = The Distribution of Prime Numbers |publisher = Cambridge University Press| year = 1990 |pages = 2–5 |isbn = 978-0-521-39789-6}}</ref>
-वीं शताब्दी के दौरान, हैडमार्ड और डे ला वाली पुसिन के प्रमेय को प्रधान संख्या प्रमेय के रूप में भी जाना जाने लगा। इसके कई अलग-अलग प्रमाण पाए गए, जिनमें [[एटले सेलबर्ग]] के प्राथमिक प्रमाण भी शामिल हैं<ref name="Selberg1949" />और पॉल एर्डोस<ref name="Erdős1949">{{Citation|last=Erdős|first=Paul|author-link=Paul Erdős|date=1949-07-01|title=On a new method in elementary number theory which leads to an elementary proof of the prime number theorem|journal=Proceedings of the National Academy of Sciences|publisher=National Academy of Sciences|location=U.S.A.|volume=35|issue=7|pages=374–384|doi=10.1073/pnas.35.7.374|pmid=16588909 |pmc=1063042 |bibcode=1949PNAS...35..374E |url=https://www.renyi.hu/~p_erdos/1949-02.pdf|doi-access=free }}</ रेफ> (1949)। हैडमर्ड और डे ला वल्ली पुसिन के मूल प्रमाण लंबे और विस्तृत हैं; बाद के प्रमाणों ने [[टाउबेरियन प्रमेय]]ों के उपयोग के माध्यम से विभिन्न सरलीकरण पेश किए लेकिन पचाने में मुश्किल बनी रही। अमेरिकी गणितज्ञ डोनाल्ड जे. न्यूमैन द्वारा 1980 में एक संक्षिप्त प्रमाण की खोज की गई थी। रेफरी>{{cite journal|title=अभाज्य संख्या प्रमेय का सरल विश्लेषणात्मक प्रमाण|journal=[[American Mathematical Monthly]] |volume=87 |year=1980 |pages=693–696 |first=Donald J. | last=Newman |doi=10.2307/2321853 |jstor=2321853 |issue=9 | mr=0602825}}</रेफरी><ref name=":0">{{cite journal |title=Newman's short proof of the prime number theorem |journal=American Mathematical Monthly |volume=104 |year=1997 |pages=705–708 |first=Don |last=Zagier |url=http://www.maa.org/programs/maa-awards/writing-awards/newmans-short-proof-of-the-prime-number-theorem |doi=10.2307/2975232 |jstor=2975232 |issue=8 | mr=1476753}}</ref> न्यूमैन का सबूत यकीनन प्रमेय का सबसे सरल ज्ञात प्रमाण है, हालांकि यह इस अर्थ में गैर-प्रारंभिक है कि यह कॉची के अभिन्न प्रमेय को जटिल विश्लेषण से उपयोग करता है।
-== सबूत स्केच ==
+वीं शताब्दी के समय, हैडमार्ड और डे ला वाली पुसिन के प्रमेय को प्रधान संख्या प्रमेय के रूप में भी जाना जाने लगा था। इसके कई अलग-अलग प्रमाण पाए गए, जिनमें [[एटले सेलबर्ग]] के प्राथमिक प्रमाण भी सम्मिलित हैं <ref name="Selberg1949" /> और पॉल एर्डोस <ref name="Erdős1949">{{Citation|last=Erdős|first=Paul|author-link=Paul Erdős|date=1949-07-01|title=On a new method in elementary number theory which leads to an elementary proof of the prime number theorem|journal=Proceedings of the National Academy of Sciences|publisher=National Academy of Sciences|location=U.S.A.|volume=35|issue=7|pages=374–384|doi=10.1073/pnas.35.7.374|pmid=16588909 |pmc=1063042 |bibcode=1949PNAS...35..374E |url=https://www.renyi.hu/~p_erdos/1949-02.pdf|doi-access=free }}</ref> (1949)। हैडमर्ड और डे ला वल्ली पुसिन के मूल प्रमाण लंबे और विस्तृत हैं; बाद के प्रमाणों ने [[टाउबेरियन प्रमेय]]ों के उपयोग के माध्यम से विभिन्न सरलीकरण पेश किए लेकिन पचाने में मुश्किल बनी रही। अमेरिकी गणितज्ञ डोनाल्ड जे. न्यूमैन द्वारा 1980 में एक संक्षिप्त प्रमाण की खोज की गई थी। <ref>{{cite journal|title=अभाज्य संख्या प्रमेय का सरल विश्लेषणात्मक प्रमाण|journal=[[American Mathematical Monthly]] |volume=87 |year=1980 |pages=693–696 |first=Donald J. | last=Newman |doi=10.2307/2321853 |jstor=2321853 |issue=9 | mr=0602825}}</ref><ref name=":0">{{cite journal |title=Newman's short proof of the prime number theorem |journal=American Mathematical Monthly |volume=104 |year=1997 |pages=705–708 |first=Don |last=Zagier |url=http://www.maa.org/programs/maa-awards/writing-awards/newmans-short-proof-of-the-prime-number-theorem |doi=10.2307/2975232 |jstor=2975232 |issue=8 | mr=1476753}}</ref> न्यूमैन का प्रमाण यकीनन प्रमेय का सबसे सरल ज्ञात प्रमाण है, चूँकि यह इस अर्थ में गैर-प्रारंभिक है कि यह कॉची के अभिन्न प्रमेय को सम्मिश्र विश्लेषण से उपयोग करता है।
-यहाँ [[टेरेंस ताओ]] के एक व्याख्यान में उल्लिखित प्रमाण का एक रेखाचित्र है।<ref>{{cite web |last1=Tao |first1=Terence |author-link = Terence Tao|title=254A, Notes 2: Complex-analytic multiplicative number theory |url=https://terrytao.wordpress.com/2014/12/09/254a-notes-2-complex-analytic-multiplicative-number-theory/ |website=Terence Tao's blog|date=10 December 2014 }}</ref> पीएनटी के अधिकांश प्रमाणों की तरह, यह समस्या को कम सहज, लेकिन बेहतर व्यवहार वाले, प्राइम-काउंटिंग फ़ंक्शन के रूप में सुधारने से शुरू होता है। यह विचार है कि प्राइम्स (या संबंधित सेट जैसे कि प्राइम पॉवर्स का सेट) को वेट के साथ गिनना है ताकि एक फंक्शन में स्मूद एसिम्प्टोटिक व्यवहार हो सके। इस तरह का सबसे आम सामान्यीकृत गिनती समारोह चेबीशेव फ़ंक्शन है {{math|''ψ''(''x'')}}, द्वारा परिभाषित
+== प्रमाण स्केच                                                                                                                                                                                                           ==
+यहाँ [[टेरेंस ताओ]] के व्याख्यान में उल्लिखित प्रमाण का रेखाचित्र है।<ref>{{cite web |last1=Tao |first1=Terence |author-link = Terence Tao|title=254A, Notes 2: Complex-analytic multiplicative number theory |url=https://terrytao.wordpress.com/2014/12/09/254a-notes-2-complex-analytic-multiplicative-number-theory/ |website=Terence Tao's blog|date=10 December 2014 }}</ref> पीएनटी के अधिकांश प्रमाणों की तरह, यह समस्या को कम सहज, किन्तु उत्तम व्यवहार वाले, प्राइम-काउंटिंग फलन के रूप में सुधारने से प्रारंभ होता है। यह विचार है कि प्राइम्स (या संबंधित समुच्चय जैसे कि प्राइम पॉवर्स का समुच्चय) को वेट के साथ गिनना है जिससे फलन में स्मूद एसिम्प्टोटिक व्यवहार हो सके। इस तरह का सबसे सामान्य सामान्यीकृत गिनती फलन चेबीशेव फलन {{math|''ψ''(''x'')}}, द्वारा परिभाषित है
 :<math>\psi(x) = \!\!\!\! \sum_\stackrel{p^k \le x,}{p \text{ is prime}} \!\!\!\! \log p \; .</math>
@@ Line 51: / Line 48: @@
 :<math>\psi(x) = \sum_{n\le x} \Lambda(n) \; ,</math>
-कहाँ {{math|''Λ''(''n'')}} [[मैंगोल्ड्ट फ़ंक्शन द्वारा]] है, अर्थात्
+जहाँ {{math|''Λ''(''n'')}} [[मैंगोल्ड्ट फ़ंक्शन द्वारा|मैंगोल्ड्ट फलन द्वारा]] है, अर्थात्
 :<math>\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}</math>
-अब यह जाँचना अपेक्षाकृत आसान हो गया है कि PNT उस दावे के समतुल्य है
+अब यह जाँचना अपेक्षाकृत सरल हो गया है कि पीएनटी उस प्रमाण के समतुल्य है
 :<math>\lim_{x\to\infty} \frac{\psi(x)}{x} = 1 \; .</math>
-दरअसल, यह आसान अनुमानों से चलता है
+यह सरल अनुमानों से चलता है
 :<math>\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</math>
-और (बिग ओ नोटेशन का उपयोग करके | big {{mvar|O}} नोटेशन) किसी के लिए {{math|''ε'' > 0}},
+और (बिग ओ नोटेशन का उपयोग करके बड़ा {{mvar|O}} नोटेशन) किसी {{math|''ε'' > 0}} के लिए ,
 :<math>\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 \; .</math>
-अगला कदम इसके लिए एक उपयोगी प्रतिनिधित्व खोजना है {{math|''ψ''(''x'')}}. होने देना {{math|''ζ''(''s'')}} रिमेंन जीटा समारोह हो। यह दिखाया जा सकता है {{math|''ζ''(''s'')}} वॉन मैंगोल्ड फ़ंक्शन से संबंधित है {{math|''Λ''(''n'')}}, और इसलिए करने के लिए {{math|''ψ''(''x'')}}, संबंध के माध्यम से
+इसके लिए {{math|''ψ''(''x'')}} उपयोगी प्रतिनिधित्व खोजना है . माना {{math|''ζ''(''s'')}} रिमेंन जीटा फलन हो। यह दिखाया जा सकता है {{math|''ζ''(''s'')}} वॉन मैंगोल्ड फलन {{math|''Λ''(''n'')}} से संबंधित है , और इसलिए {{math|''ψ''(''x'')}} करने के लिए ,
 :<math>-\frac{\zeta'(s)}{\zeta(s)} = \sum_{n = 1}^\infty \Lambda(n) \, n^{-s} \; .</math>
-मेलिन रूपांतरण और पेरोन के सूत्र का उपयोग करते हुए इस समीकरण और जेटा फ़ंक्शन के संबंधित गुणों का एक नाजुक विश्लेषण दिखाता है कि गैर-पूर्णांक के लिए {{mvar|x}} समीकरण
+मेलिन रूपांतरण और पेरोन के सूत्र का उपयोग करते हुए इस समीकरण और जेटा फलन के संबंधित गुणों का नाजुक विश्लेषण दिखाता है कि गैर-पूर्णांक के लिए {{mvar|x}} समीकरण
 :<math>\psi(x) = x \; - \; \log(2\pi) \; - \sum\limits_{\rho :\, \zeta(\rho) = 0} \frac{x^\rho}{\rho}</math>
-धारण करता है, जहां जीटा फ़ंक्शन के सभी शून्यों (तुच्छ और गैर-तुच्छ) पर योग होता है। यह हड़ताली सूत्र तथाकथित स्पष्ट सूत्रों (एल-फ़ंक्शन) में से एक है, और पहले से ही उस परिणाम का सूचक है जिसे हम सिद्ध करना चाहते हैं, क्योंकि शब्द {{mvar|x}} (के सही स्पर्शोन्मुख क्रम होने का दावा किया {{math|''ψ''(''x'')}}) दाहिने हाथ की ओर प्रकट होता है, उसके बाद (संभवत:) निम्न-क्रम स्पर्शोन्मुख शब्द।
+धारण करता है, जहां जीटा फलन के सभी शून्यों (तुच्छ और गैर-तुच्छ) पर योग होता है। यह हड़ताली सूत्र तथाकथित स्पष्ट सूत्रों (एल-फलन) में से है, और पहले से ही उस परिणाम का सूचक है जिसे हम सिद्ध करना चाहते हैं, क्योंकि शब्द {{mvar|x}} (के सही स्पर्शोन्मुख क्रम होने का प्रमाण किया {{math|''ψ''(''x'')}}) दाहिने हाथ की ओर प्रकट होता है, उसके बाद (संभवत:) निम्न-क्रम स्पर्शोन्मुख शब्द है।
-प्रमाण के अगले चरण में जीटा फलन के शून्यों का अध्ययन शामिल है। तुच्छ शून्य −2, −4, −6, −8, ... को अलग से संभाला जा सकता है:
+प्रमाण के अगले चरण में जीटा फलन के शून्यों का अध्ययन सम्मिलित है। तुच्छ शून्य −2, −4, −6, −8, ... को अलग से संभाला जा सकता है:
 :<math>\sum_{n=1}^\infty \frac{1}{2n\,x^{2n}} = -\frac{1}{2}\log\left(1-\frac{1}{x^2}\right),</math>
-जो बड़े पैमाने पर गायब हो जाता है {{mvar|x}}. गैर-तुच्छ शून्य, अर्थात् महत्वपूर्ण पट्टी पर {{math|0 ≤ Re(''s'') ≤ 1}}, संभावित रूप से मुख्य शब्द के तुलनीय एक स्पर्शोन्मुख क्रम का हो सकता है {{mvar|x}} अगर {{math|Re(''ρ'') {{=}} 1}}, इसलिए हमें यह दिखाने की आवश्यकता है कि सभी शून्यों का वास्तविक भाग 1 से कम है।
+जो बड़े मापदंड {{mvar|x}} पर विलुप्त हो जाता है . गैर-तुच्छ शून्य, अर्थात् महत्वपूर्ण पट्टी पर {{math|0 ≤ Re(''s'') ≤ 1}}, संभावित रूप से मुख्य शब्द {{mvar|x}} के तुलनीय स्पर्शोन्मुख क्रम का हो सकता है यदि {{math|Re(''ρ'') {{=}} 1}}, इसलिए हमें यह दिखाने की आवश्यकता है कि सभी शून्यों का वास्तविक भाग 1 से कम है।
 === गैर-लुप्त होने पर {{math|Re(''s'') {{=}} 1}} ===
-ऐसा करने के लिए, हम इसे मान लेते हैं {{math|''ζ''(''s'')}} अर्ध-विमान में [[मेरोमॉर्फिक फ़ंक्शन]] है {{math|Re(''s'') > 0}}, और वहाँ एक साधारण ध्रुव को छोड़कर वहाँ विश्लेषणात्मक है {{math|''s'' {{=}} 1}}, और यह कि एक उत्पाद सूत्र है
+ऐसा करने के लिए, हम इसे {{math|''ζ''(''s'')}} मान लेते हैं अर्ध-समष्टि में [[मेरोमॉर्फिक फ़ंक्शन|मेरोमॉर्फिक फलन]] {{math|Re(''s'') > 0}} है , और वहाँ साधारण ध्रुव को छोड़कर वहाँ {{math|''s'' {{=}} 1}} विश्लेषणात्मक है , और यह कि उत्पाद सूत्र है
 :<math>\zeta(s)=\prod_p\frac{1}{1-p^{-s}} </math>
-के लिए {{math|Re(''s'') > 1}}. यह उत्पाद सूत्र पूर्णांकों के अद्वितीय अभाज्य गुणनखंडन के अस्तित्व से अनुसरण करता है, और यह दर्शाता है {{math|''ζ''(''s'')}} इस क्षेत्र में कभी भी शून्य नहीं होता है, इसलिए इसका लघुगणक वहां परिभाषित किया जाता है और
+{{math|Re(''s'') > 1}} के लिए . यह उत्पाद सूत्र पूर्णांकों के अद्वितीय अभाज्य गुणनखंडन के अस्तित्व से अनुसरण करता है, और यह {{math|''ζ''(''s'')}} दर्शाता है इस क्षेत्र में कभी भी शून्य नहीं होता है, इसलिए इसका लघुगणक वहां परिभाषित किया जाता है और
 :<math>\log\zeta(s)=-\sum_p\log \left(1-p^{-s} \right)=\sum_{p,n}\frac{p^{-ns}}{n} \; .</math>
 लिखना {{math|''s'' {{=}} ''x'' + ''iy''}} ; तब
@@ Line 83: / Line 80: @@
 अब पहचान का निरीक्षण करें
 :<math> 3 + 4 \cos \phi+ \cos 2 \phi = 2 ( 1 + \cos \phi )^2\ge 0 \; ,</math>
-ताकि
+जिससे
 :<math>\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</math>
-सभी के लिए {{math|''x'' > 1}}. मान लीजिए कि अब {{math|''ζ''(1 + ''iy'') {{=}} 0}}. निश्चित रूप से {{mvar|y}} शून्य नहीं है, क्योंकि {{math|''ζ''(''s'')}} पर एक साधारण पोल है {{math|''s'' {{=}} 1}}. लगता है कि {{math|''x'' > 1}} और जाने {{mvar|x}} ऊपर से 1 की ओर रुख करें। तब से <math>\zeta(s)</math> पर एक साधारण पोल है {{math|''s'' {{=}} 1}} और {{math|''ζ''(''x'' + 2''iy'')}} विश्लेषणात्मक रहता है, पिछली असमानता में बायां हाथ 0 की ओर जाता है, एक विरोधाभास।
+सभी के लिए {{math|''x'' > 1}}. मान लीजिए कि अब {{math|''ζ''(1 + ''iy'') {{=}} 0}}. निश्चित रूप से {{mvar|y}} शून्य नहीं है, क्योंकि {{math|''ζ''(''s'')}} पर साधारण पोल है {{math|''s'' {{=}} 1}}. लगता है कि {{math|''x'' > 1}} और जाने {{mvar|x}} ऊपर से 1 की ओर रुख करें। तब से <math>\zeta(s)</math> पर साधारण पोल है इस प्रकार {{math|''s'' {{=}} 1}} और {{math|''ζ''(''x'' + 2''iy'')}} विश्लेषणात्मक रहता है, पिछली असमानता में बायां हाथ 0 की ओर जाता है।
-अंत में, हम यह निष्कर्ष निकाल सकते हैं कि PNT अनुमानिक रूप से सत्य है। प्रमाण को सख्ती से पूरा करने के लिए अभी भी गंभीर तकनीकीताओं को दूर करना है, इस तथ्य के कारण कि स्पष्ट सूत्र में जीटा शून्य से अधिक का योग {{math|''ψ''(''x'')}} पूरी तरह अभिसरण नहीं करता है लेकिन केवल सशर्त और एक प्रमुख मूल्य अर्थ में। इस समस्या से निपटने के कई तरीके हैं लेकिन उनमें से कई के लिए नाजुक जटिल-विश्लेषणात्मक अनुमानों की आवश्यकता होती है। एडवर्ड्स की किताब<ref>{{cite book |last = Edwards |first = Harold M. |author-link = Harold Edwards (mathematician) |title = Riemann's zeta function |publisher = Courier Dover Publications |year = 2001 |isbn = 978-0-486-41740-0}}</ref> विवरण प्रदान करता है। इकेहारा के ताउबेरियन प्रमेय का उपयोग करने के लिए एक और तरीका है, हालांकि यह प्रमेय अपने आप में साबित करने के लिए काफी कठिन है। डीजे न्यूमैन ने देखा कि अभाज्य संख्या प्रमेय के लिए इकेहारा के प्रमेय की पूरी ताकत की आवश्यकता नहीं है, और कोई एक विशेष मामले से बच सकता है जिसे साबित करना बहुत आसान है।
+अंत में, हम यह निष्कर्ष निकाल सकते हैं कि पीएनटी अनुमानिक रूप से सत्य है। प्रमाण को सख्ती से पूरा करने के लिए अभी भी गंभीर तकनीकीताओं को दूर करना है, इस तथ्य के कारण कि स्पष्ट सूत्र में जीटा शून्य से अधिक का योग {{math|''ψ''(''x'')}} पूरी तरह अभिसरण नहीं करता है किन्तु केवल सनियम और प्रमुख मूल्य अर्थ में इस समस्या से निपटने के कई विधि हैं किन्तु उनमें से कई के लिए नाजुक सम्मिश्र-विश्लेषणात्मक अनुमानों की आवश्यकता होती है। एडवर्ड्स की किताब <ref>{{cite book |last = Edwards |first = Harold M. |author-link = Harold Edwards (mathematician) |title = Riemann's zeta function |publisher = Courier Dover Publications |year = 2001 |isbn = 978-0-486-41740-0}}</ref> विवरण प्रदान करता है। इकेहारा के ताउबेरियन प्रमेय का उपयोग करने के लिए और विधि है, चूँकि यह प्रमेय अपने आप में सिद्ध करने के लिए अधिक कठिन है। डीजे न्यूमैन ने देखा कि अभाज्य संख्या प्रमेय के लिए इकेहारा के प्रमेय की पूरी बल की आवश्यकता नहीं है, और कोई विशेष स्थिति से बच सकता है जिसे सिद्ध करना बहुत सरल है।
-== अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण ==
+== अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण                                                                                                                                                  ==
-डी. जे. न्यूमैन अभाज्य संख्या प्रमेय (पीएनटी) का त्वरित प्रमाण देते हैं। जटिल विश्लेषण पर भरोसा करने के आधार पर प्रमाण गैर-प्राथमिक है, लेकिन विषय में पहले पाठ्यक्रम से केवल प्राथमिक तकनीकों का उपयोग करता है: कॉची का अभिन्न सूत्र, कॉची का अभिन्न प्रमेय और जटिल अभिन्न का अनुमान। यहाँ इस प्रमाण का संक्षिप्त विवरण दिया गया है। देखना <ref name=":0" />पूरी जानकारी के लिए।
+डी. जे. न्यूमैन अभाज्य संख्या प्रमेय (पीएनटी) का त्वरित प्रमाण देते हैं। सम्मिश्र विश्लेषण पर विश्वास करने के आधार पर प्रमाण गैर-प्राथमिक है, किन्तु विषय में पहले पाठ्यक्रम से केवल प्राथमिक तकनीकों का उपयोग करता है: कॉची का अभिन्न सूत्र, कॉची का अभिन्न प्रमेय और सम्मिश्र अभिन्न का अनुमान यहाँ इस प्रमाण का संक्षिप्त विवरण दिया गया है। देखना <ref name=":0" /> पूरी जानकारी के लिए।
-फ़ंक्शन के बजाय प्रूफ़ पिछले सेक्शन की तरह ही प्रिलिमिनरीज़ का उपयोग करता है <math display="inline">\psi</math>, चेबिशेव समारोह<math display="inline">
+फलन के अतिरिक्त प्रूफ़ पिछले सेक्शन की तरह ही प्रिलिमिनरीज़ <math display="inline">\psi</math> का उपयोग करता है , चेबिशेव फलन<math display="inline">
 \quad \vartheta(x) = \sum_{p\le x} \log p
-</math> प्रयोग किया जाता है, जो कि श्रृंखला से कुछ पदों को हटाकर प्राप्त किया जाता है <math display="inline">\psi</math>. यह दिखाना आसान है कि PNT इसके बराबर है <math>\lim _{x \to \infty} \vartheta(x)/x = 1</math>. इसी तरह के बजाय <math>
+</math> प्रयोग किया जाता है, जो कि श्रृंखला से कुछ पदों को हटाकर प्राप्त किया जाता है <math display="inline">\psi</math>. यह दिखाना सरल है कि पीएनटी इसके <math>\lim _{x \to \infty} \vartheta(x)/x = 1</math> सामान्य है . इसी तरह के अतिरिक्त <math>
 - \frac{\zeta '(s)}{\zeta(s)}
-</math> कार्यक्रम <math>
+</math> फलन <math>
 \Phi(s) = \sum_{p\le x} \log p\,\,  p^{-s}
 </math> का प्रयोग किया जाता है, जो कि श्रेणी में कुछ पदों को हटाकर प्राप्त किया जाता है <math>
 - \frac{\zeta '(s)}{\zeta(s)}
-</math>. कार्य <math>
+</math>. फलन <math>
   \Phi(s)
 </math> और <math>
   -\zeta'(s)/\zeta(s)
-</math> एक फ़ंक्शन होलोमोर्फिक द्वारा भिन्न होता है <math>\Re s = 1</math>. चूंकि, जैसा कि पिछले अनुभाग में दिखाया गया था,  <math>\zeta(s)</math> रेखा पर कोई शून्य नहीं है <math>\Re s = 1</math> , <math>
+</math> फलन होलोमोर्फिक <math>\Re s = 1</math> द्वारा भिन्न होता है . चूंकि, जैसा कि पिछले अनुभाग में दिखाया गया था, <math>\zeta(s)</math> रेखा <math>\Re s = 1</math> पर कोई शून्य नहीं है , <math>
 \Phi(s) - \frac 1{s-1}
-</math> पर कोई विलक्षणता नहीं है <math>\Re s = 1</math>.
+</math> पर कोई विलक्षणता <math>\Re s = 1</math> नहीं है .
-न्यूमैन के प्रमाण में आवश्यक जानकारी का एक और टुकड़ा, और जो उसकी सरल विधि में अनुमानों की कुंजी है, वह है <math>\vartheta(x)/x</math> घिरा है। यह चेबीशेव के कारण एक सरल और आसान विधि का उपयोग करके सिद्ध होता है।
+न्यूमैन के प्रमाण में आवश्यक जानकारी का और टुकड़ा, और जो उसकी सरल विधि में अनुमानों की कुंजी है, वह है <math>\vartheta(x)/x</math> घिरा है। यह चेबीशेव के कारण सरल और सरल विधि का उपयोग करके सिद्ध होता है।
-भागों द्वारा एकीकरण दिखाता है कि कैसे <math>\vartheta(x)</math> और  <math>\Phi(s)</math> आपस में संबंधित हैं। के लिए <math>\Re s > 1</math>,
+भागों द्वारा एकीकरण दिखाता है कि कैसे <math>\vartheta(x)</math> और <math>\Phi(s)</math> आपस में संबंधित हैं। <math>\Re s > 1</math> के लिए ,
 :<math>
 \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.
@@ Line 120: / Line 117: @@
 I = \int_0 ^\infty \left( \frac{\vartheta(e^t)}{e^t} -1 \right) \, dt.
 </math>
-अभिसरण करता है, और इसलिए इंटीग्रैंड शून्य हो जाता है <math>t \to \infty</math>, जो पीएनटी है। सामान्य तौर पर, अनुचित इंटीग्रल के अभिसरण का मतलब यह नहीं है कि इंटीग्रैंड अनंत पर शून्य हो जाता है, क्योंकि यह दोलन कर सकता है, लेकिन चूंकि <math>\vartheta</math> बढ़ रहा है, इस मामले में दिखाना आसान है।
+अभिसरण करता है, और इसलिए इंटीग्रैंड <math>t \to \infty</math> शून्य हो जाता है , जो पीएनटी है। सामान्यतः, अनुचित इंटीग्रल के अभिसरण का कारण यह नहीं है कि इंटीग्रैंड अनंत पर शून्य हो जाता है, क्योंकि यह दोलन कर सकता है, किन्तु चूंकि <math>\vartheta</math> बढ़ रहा है, इस स्थिति में दिखाना सरल है।
-का अभिसरण दिखाने के लिए <math>
+<math>
 I
-</math>, के लिए <math>\Re z > 0</math> होने देना
+</math> का अभिसरण दिखाने के लिए , <math>\Re z > 0</math> के लिए माना
 :<math>
 g_T(z) = \int_0^T f(t) e^{-zt}\, dt
-</math> और  <math>
+</math> और <math>
 g(z) = \int_0^\infty f(t) e^{-zt}\, dt
-</math> कहाँ <math>
+</math> जहाँ <math>
 f(t) = \frac {\vartheta(e^t)}{e^t} -1
 </math>
@@ Line 136: / Line 133: @@
 \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
 </math>
-जो लाइन पर होलोमोर्फिक फ़ंक्शन के बराबर है <math>\Re z = 0</math> .
+जो लाइन पर होलोमोर्फिक फलन <math>\Re z = 0</math> के सामान्य है .
 अभिन्न का अभिसरण <math>
 I
-</math>, और इस प्रकार PNT, यह दिखा कर सिद्ध होता है <math>\lim_{T \to \infty} g_T(0) = g(0)</math>. इसमें सीमाओं के क्रम में परिवर्तन शामिल है क्योंकि इसे लिखा जा सकता है <math display="inline">
+</math>, और इस प्रकार पीएनटी, यह दिखा <math>\lim_{T \to \infty} g_T(0) = g(0)</math> कर सिद्ध होता है . इसमें सीमाओं के क्रम में परिवर्तन सम्मिलित है क्योंकि इसे लिखा जा सकता है <math display="inline">
 \lim_{T \to \infty} \lim_{z \to 0} g_T(z) = \lim_{z \to 0} \lim_{T \to \infty}g_T(z)
 </math> और इसलिए एबेलियन और टाउबेरियन प्रमेय|टाउबेरियन प्रमेय के रूप में वर्गीकृत किया गया है।
-के अंतर <math>g(0) - g_T(0)</math> कॉची के अभिन्न सूत्र का उपयोग करके व्यक्त किया जाता है और फिर के लिए छोटा दिखाया जाता है <math>
+<math>g(0) - g_T(0)</math> के अंतर कॉची के अभिन्न सूत्र का उपयोग करके व्यक्त किया जाता है और फिर <math>
 T
-</math> इंटीग्रैंड का अनुमान लगाकर बड़ा। हल करना <math>R>0</math> और <math>\delta >0</math> ऐसा है कि <math>g(z)</math> उस क्षेत्र में होलोमोर्फिक है जहां <math> |z| \le  R \text{ and } \Re z \ge  - \delta</math>,  और जाने <math>C</math> इस क्षेत्र की सीमा हो। चूँकि 0 क्षेत्र के भीतरी भाग में है, कॉची का समाकल सूत्र देता है
+</math> के लिए छोटा दिखाया जाता है इंटीग्रैंड का अनुमान लगाकर बड़ा हल करना <math>R>0</math> और <math>\delta >0</math> ऐसा है कि <math>g(z)</math> उस क्षेत्र में होलोमोर्फिक है जहां <math> |z| \le  R \text{ and } \Re z \ge  - \delta</math>, और जाने <math>C</math> इस क्षेत्र की सीमा हो। चूँकि 0 क्षेत्र के भीतरी भाग में है, कॉची का समाकल सूत्र देता है
 :<math>
 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
 </math>
-कहाँ <math>
+जहाँ <math>
   F(z) = e^{zT}\left( 1 + \frac {z^2}{R^2}\right)
-</math> न्यूमैन द्वारा पेश किया गया कारक है, जो तब से अभिन्न को नहीं बदलता है <math>F</math> संपूर्ण कार्य है और <math>F(0) =1</math>.
+</math> न्यूमैन द्वारा प्रस्तुत किया गया कारक है, जो तब से अभिन्न को नहीं बदलता है <math>F</math> संपूर्ण फलन है और <math>F(0) =1</math>.
 अभिन्न का अनुमान लगाने के लिए, समोच्च को तोड़ें <math>
@@ Line 158: / Line 155: @@
 </math> दो भागों में, <math>
 C = C_+ + C_-
-</math> कहाँ  <math>C_+ = C \cap \left \{ z \, \vert \, \Re z >  0 \right \}</math> और <math>C_- \cap \left \{ \Re z \le 0 \right \}</math>. तब <math>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 +
+</math> जहाँ <math>C_+ = C \cap \left \{ z \, \vert \, \Re z >  0 \right \}</math> और <math>C_- \cap \left \{ \Re z \le 0 \right \}</math>. तब <math>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}</math>कहाँ <math>H(t,z) = f(t)e^{-tz}F(z)/2 \pi i</math>. तब से <math>\vartheta(x)/x</math>, और इसलिए  <math>
+\int_{C_-}g(z)F(z)\frac {dz}{2\pi i z}</math>
+जहाँ <math>H(t,z) = f(t)e^{-tz}F(z)/2 \pi i</math>. तब से <math>\vartheta(x)/x</math>, और इसलिए <math>
 f(t)
-</math>, बँधा हुआ है, चलो <math>B</math> के निरपेक्ष मान के लिए एक ऊपरी सीमा हो <math>f(t)</math>. यह अनुमान के साथ बंधा हुआ है  <math>
+</math>, बँधा हुआ है, चलो <math>B</math> के निरपेक्ष मान के लिए ऊपरी सीमा हो <math>f(t)</math>. यह अनुमान के साथ बंधा हुआ है <math>
 |F| \le 2 \exp(T \Re z)|\Re z|/R
 </math> के लिए <math>
 |z| = R
-</math> देता है कि निरपेक्ष मान में पहला समाकल है <math>\le B/R</math>. इंटीग्रैंड ओवर <math>C_-</math> दूसरे इंटीग्रल में संपूर्ण कार्य है, इसलिए कॉची के इंटीग्रल प्रमेय द्वारा, समोच्च <math>C_-</math> त्रिज्या के अर्धवृत्त में संशोधित किया जा सकता है <math>R</math> इंटीग्रल को बदले बिना बाएं आधे विमान में, और पहले इंटीग्रल के लिए वही तर्क दूसरे इंटीग्रल का निरपेक्ष मान देता है <math>\le B/R</math>. अंत में, दे रहा हूँ <math>T \to \infty</math> , तीसरा अभिन्न शून्य हो जाता है <math>e^{zT}</math> और इसलिए <math>F</math> समोच्च पर शून्य हो जाता है। दो अनुमानों और सीमा को मिलाकर प्राप्त करें
+</math> देता है कि निरपेक्ष मान में पहला समाकल है <math>\le B/R</math>. इंटीग्रैंड ओवर <math>C_-</math> दूसरे इंटीग्रल में संपूर्ण फलन है, इसलिए कॉची के इंटीग्रल प्रमेय द्वारा, समोच्च <math>C_-</math> त्रिज्या के अर्धवृत्त <math>R</math> में संशोधित किया जा सकता है इंटीग्रल को बदले बिना बाएं आधे समष्टि में, और पहले इंटीग्रल के लिए वही तर्क दूसरे इंटीग्रल का निरपेक्ष मान देता है <math>\le B/R</math>. अंत में, दे रहा हूँ <math>T \to \infty</math> , तीसरा अभिन्न शून्य हो जाता है <math>e^{zT}</math> और इसलिए <math>F</math> समोच्च पर शून्य हो जाता है। दो अनुमानों और सीमा को मिलाकर प्राप्त करें
 :<math>
 \limsup_{T \to \infty }|g(0) - g_T(0) | \le \frac {2 B} R.
 </math>
 यह किसी के लिए भी है <math>R</math> इसलिए <math>\lim_{T \to \infty} g_T(0) = g(0)</math>, और पीएनटी इस प्रकार है।
-== लॉगरिदमिक इंटीग्रल == के संदर्भ में प्राइम-काउंटिंग फंक्शन
+=== लॉगरिदमिक इंटीग्रल के संदर्भ में प्राइम-काउंटिंग फलन ===
-उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट में{{lang|fr|Sur l'usage des séries infinies dans la théorie des nombres}}, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के बजाय एक श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के तहत) कि इससे भी बेहतर सन्निकटन {{math|''π''(''x'')}} लघुगणक समाकल फलन फलन द्वारा दिया जाता है {{math|Li(''x'')}}, द्वारा परिभाषित
+उनके 1838 के पेपर के पुनर्मुद्रण पर हस्तलिखित नोट में {{lang|fr|थ्योरी डेस नोम्ब्रे से इनफिनीज़ श्रृंखला का उपयोग करें}}, जिसे उन्होंने गॉस को मेल किया, डिरिचलेट ने अनुमान लगाया (अभिन्न रूप के अतिरिक्त श्रृंखला के लिए अपील करने वाले थोड़े अलग रूप के अनुसार) कि इससे भी उत्तम सन्निकटन {{math|''π''(''x'')}} लघुगणक समाकल फलन फलन {{math|Li(''x'')}}, द्वारा परिभाषित दिया जाता है
 :<math> \operatorname{Li}(x) = \int_2^x \frac{dt}{\log t} = \operatorname{li}(x) - \operatorname{li}(2). </math>
-वास्तव में, यह अभिन्न इस धारणा का दृढ़ता से सुझाव देता है कि प्राइम्स का घनत्व चारों ओर है {{mvar|t}} होना चाहिए {{math|1 / log ''t''}}. यह फ़ंक्शन [[स्पर्शोन्मुख विस्तार]] द्वारा लघुगणक से संबंधित है
+वास्तव में, यह अभिन्न इस धारणा का दृढ़ता से सुझाव देता है कि प्राइम्स का घनत्व चारों ओर है {{mvar|t}} होना चाहिए {{math|1 / log ''t''}}. यह फलन [[स्पर्शोन्मुख विस्तार]] द्वारा लघुगणक से संबंधित है
 :<math> \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 </math>
-अतः अभाज्य संख्या प्रमेय को इस प्रकार भी लिखा जा सकता है {{math|''π''(''x'') ~ Li(''x'')}}. दरअसल, दूसरे पेपर में<ref name="de la Vallée Poussin1899">{{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1899|title=Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|journal=Mémoires couronnés de l'Académie de Belgique|publisher=Imprimeur de l'Académie Royale de Belgique|volume=59|pages=1–74|url={{Google Books|_O0GAAAAYAAJ|Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|plainurl=yes}}}</ref> 1899 में डे ला वल्ली पौसिन ने यह साबित कर दिया
+अतः अभाज्य संख्या प्रमेय को इस प्रकार भी लिखा जा सकता है {{math|''π''(''x'') ~ Li(''x'')}}. दरअसल, दूसरे पेपर में <ref name="de la Vallée Poussin1899">{{Citation|last=de la Vallée Poussin|first=Charles-Jean|author-link=Charles Jean de la Vallée Poussin|year=1899|title=Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|journal=Mémoires couronnés de l'Académie de Belgique|publisher=Imprimeur de l'Académie Royale de Belgique|volume=59|pages=1–74|url={{Google Books|_O0GAAAAYAAJ|Sur la fonction ζ(s) de Riemann et le nombre des nombres premiers inférieurs a une limite donnée.|plainurl=yes}}}</ref> 1899 में डे ला वल्ली पौसिन ने यह सिद्ध कर दिया था
 :<math> \pi(x) = \operatorname{Li} (x) + O \left(x e^{-a\sqrt{\log x}}\right) \quad\text{as } x \to \infty</math>
-कुछ सकारात्मक स्थिरांक के लिए {{mvar|a}}, कहाँ {{math|''O''(...)}} बिग ओ नोटेशन है|बड़ा {{mvar|O}} अंकन। इसमें सुधार किया गया है
+कुछ धनात्मक स्थिरांक के लिए {{mvar|a}}, जहाँ {{math|''O''(...)}} बिग ओ नोटेशन है इसमें सुधार किया गया है
-:<math>\pi(x) = \operatorname{li} (x) + O \left(x \exp \left( -\frac{A(\log x)^\frac35}{(\log \log x)^\frac15} \right) \right)</math> कहाँ <math>A = 0.2098</math>.<ref name="Ford">{{cite journal |author = Kevin Ford |author-link = Kevin Ford (mathematician) |title=Vinogradov's Integral and Bounds for the Riemann Zeta Function |journal=Proc. London Math. Soc. |date=2002 |volume=85 |issue = 3 |pages=565–633 |url=https://faculty.math.illinois.edu/~ford/wwwpapers/zetabd.pdf |doi=10.1112/S0024611502013655 |arxiv = 1910.08209 |s2cid = 121144007 }}</ref>
+:<math>\pi(x) = \operatorname{li} (x) + O \left(x \exp \left( -\frac{A(\log x)^\frac35}{(\log \log x)^\frac15} \right) \right)</math> जहाँ <math>A = 0.2098</math>.<ref name="Ford">{{cite journal |author = Kevin Ford |author-link = Kevin Ford (mathematician) |title=Vinogradov's Integral and Bounds for the Riemann Zeta Function |journal=Proc. London Math. Soc. |date=2002 |volume=85 |issue = 3 |pages=565–633 |url=https://faculty.math.illinois.edu/~ford/wwwpapers/zetabd.pdf |doi=10.1112/S0024611502013655 |arxiv = 1910.08209 |s2cid = 121144007 }}</ref>
-में, Trudgian के बीच के अंतर के लिए एक स्पष्ट ऊपरी सीमा साबित हुई <math>\pi(x)</math> और <math>\operatorname{li}(x)</math>:
+में, Trudgian के बीच के अंतर के लिए स्पष्ट ऊपरी सीमा सिद्ध हुई <math>\pi(x)</math> और <math>\operatorname{li}(x)</math>:
 :<math>\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)</math>
-के लिए <math>x \ge 229</math>.<ref>{{cite journal |author = Tim Trudgian |date = February 2016 |title = Updating the error term in the prime number theorem |journal = Ramanujan Journal |volume = 39 |issue = 2  |pages=225–234 |doi = 10.1007/s11139-014-9656-6 |arxiv = 1401.2689 |s2cid = 11013503 }}</ref>
+<math>x \ge 229</math> के लिए .<ref>{{cite journal |author = Tim Trudgian |date = February 2016 |title = Updating the error term in the prime number theorem |journal = Ramanujan Journal |volume = 39 |issue = 2  |pages=225–234 |doi = 10.1007/s11139-014-9656-6 |arxiv = 1401.2689 |s2cid = 11013503 }}</ref> रीमैन ज़ेटा फलन और के बीच संबंध {{math|''π''(''x'')}} यह कारण है कि [[रीमैन परिकल्पना]] का संख्या सिद्धांत में अधिक महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में सम्मिलित त्रुटि का उत्तम अनुमान लगाएगा। अधिक विशेष रूप से, [[हेल्ज वॉन कोच]] ने 1901 में दिखाया <ref>{{cite journal |first=Helge |last=von Koch |year=1901 |title=Sur la distribution des nombres premiers |journal=[[Acta Mathematica]] |volume=24 |issue=1 |pages=159–182 |doi=10.1007/BF02403071 |lang=fr |trans-title=On the distribution of prime numbers|mr=1554926 |s2cid=119914826 |url=https://zenodo.org/record/2347595|doi-access=free }}</ref> यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है
-रीमैन ज़ेटा फ़ंक्शन और के बीच संबंध {{math|''π''(''x'')}} यह एक कारण है कि [[रीमैन परिकल्पना]] का संख्या सिद्धांत में काफी महत्व है: यदि स्थापित हो जाता है, तो यह आज की तुलना में अभाज्य संख्या प्रमेय में शामिल त्रुटि का बेहतर अनुमान लगाएगा। अधिक विशेष रूप से, [[हेल्ज वॉन कोच]] ने 1901 में दिखाया<ref>{{cite journal |first=Helge |last=von Koch |year=1901 |title=Sur la distribution des nombres premiers |journal=[[Acta Mathematica]] |volume=24 |issue=1 |pages=159–182 |doi=10.1007/BF02403071 |lang=fr |trans-title=On the distribution of prime numbers|mr=1554926 |s2cid=119914826 |url=https://zenodo.org/record/2347595|doi-access=free }}</ref> यदि रीमैन परिकल्पना सत्य है, तो उपरोक्त संबंध में त्रुटि शब्द में सुधार किया जा सकता है
 :<math> \pi(x) = \operatorname{Li} (x) + O\left(\sqrt x \log x\right) </math>
-(यह अंतिम अनुमान वास्तव में रीमैन परिकल्पना के समतुल्य है)। बड़े में शामिल निरंतर {{mvar|O}} 1976 में [[लोवेल स्कोनफेल्ड]] द्वारा अंकन का अनुमान लगाया गया था:<ref>{{Cite journal |last=Schoenfeld |first=Lowell |title=Sharper Bounds for the Chebyshev Functions {{math|''{{not a typo|ϑ}}''(''x'')}} and {{math|''ψ''(''x'')}}. II |journal=Mathematics of Computation |volume=30 |issue=134 |year=1976 |pages=337–360 |doi=10.2307/2005976 |jstor=2005976 | mr=0457374 }}</ref> रीमैन परिकल्पना मानते हुए,
+(यह अंतिम अनुमान वास्तव में रीमैन परिकल्पना के समतुल्य है)। बड़े में सम्मिलित निरंतर {{mvar|O}} 1976 में [[लोवेल स्कोनफेल्ड]] द्वारा अंकन का अनुमान लगाया गया था:<ref>{{Cite journal |last=Schoenfeld |first=Lowell |title=Sharper Bounds for the Chebyshev Functions {{math|''{{not a typo|ϑ}}''(''x'')}} and {{math|''ψ''(''x'')}}. II |journal=Mathematics of Computation |volume=30 |issue=134 |year=1976 |pages=337–360 |doi=10.2307/2005976 |jstor=2005976 | mr=0457374 }}</ref> रीमैन परिकल्पना मानते हुए,
 :<math>\big|\pi(x) - \operatorname{li}(x)\big| < \frac{\sqrt x \log x}{8\pi}</math>
-सभी के लिए {{math|''x'' ≥ 2657}}. उन्होंने चेबिशेव फलन | {{mvar|ψ}}:
+सभी के लिए {{math|''x'' ≥ 2657}}. उन्होंने चेबिशेव {{mvar|ψ}} फलन है | :
 :<math>\big|\psi(x) - x\big| < \frac{\sqrt x (\log x)^2 }{8\pi}</math>
-सभी के लिए {{math|''x'' ≥ 73.2}}. इस बाद की सीमा को शक्ति कानून (जब पूर्णांकों पर एक यादृच्छिक कार्य के रूप में माना जाता है) के लिए भिन्नता व्यक्त करने के लिए दिखाया गया है और {{sfrac| {{mvar|f}} }}[[गुलाबी शोर]] और [[ट्वीडी वितरण]] के अनुरूप भी। (ट्वीडी डिस्ट्रीब्यूशन [[स्केल अपरिवर्तनीय]] डिस्ट्रीब्यूशन के एक परिवार का प्रतिनिधित्व करते हैं जो [[केंद्रीय सीमा प्रमेय]] के सामान्यीकरण के लिए अभिसरण के फोकस के रूप में कार्य करते हैं।<ref>{{cite journal |last1=Jørgensen |first1=Bent |last2=Martínez |first2=José Raúl |last3=Tsao |first3=Min |year=1994 |title=Asymptotic behaviour of the variance function |journal=Scandinavian Journal of Statistics |volume=21 |issue=3 |pages=223–243 |mr=1292637 |jstor=4616314 }}</ref>)
+सभी के लिए {{math|''x'' ≥ 73.2}}. इस बाद की सीमा को शक्ति नियम (जब पूर्णांकों पर यादृच्छिक फलन के रूप में माना जाता है) के लिए भिन्नता व्यक्त करने के लिए दिखाया गया है और {{sfrac| {{mvar|f}} }} [[गुलाबी शोर|गुलाबी ध्वनि]] और [[ट्वीडी वितरण]] के अनुरूप भी। (ट्वीडी डिस्ट्रीब्यूशन [[स्केल अपरिवर्तनीय]] डिस्ट्रीब्यूशन के परिवार का प्रतिनिधित्व करते हैं जो [[केंद्रीय सीमा प्रमेय]] के सामान्यीकरण के लिए अभिसरण के फोकस के रूप में फलन करते हैं।<ref>{{cite journal |last1=Jørgensen |first1=Bent |last2=Martínez |first2=José Raúl |last3=Tsao |first3=Min |year=1994 |title=Asymptotic behaviour of the variance function |journal=Scandinavian Journal of Statistics |volume=21 |issue=3 |pages=223–243 |mr=1292637 |jstor=4616314 }}</ref>)
-लॉगरिदमिक इंटीग्रल फ़ंक्शन {{math|li(''x'')}} से बड़ा है {{math|''π''(''x'')}} के छोटे मूल्यों के लिए {{mvar|x}}. ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ एक शक्ति है, की गिनती है {{mvar|p{{sup|n}}}एक प्राइम का {{mvar|p}} के रूप में गिना जाता है {{sfrac|1| {{mvar|n}} }} एक प्रधान का। इससे पता चलता है {{math|li(''x'')}} से बड़ा होना चाहिए {{math|''π''(''x'')}} द्वारा मोटे तौर पर <math>\ \tfrac{1}{2} \operatorname{li}(\sqrt{x})\ ,</math> और विशेष रूप से हमेशा इससे बड़ा होना चाहिए {{math|''π''(''x'')}}. हालाँकि, 1914 में, जॉन एडेंसर लिटलवुड|जे. ई। लिटलवुड ने साबित कर दिया <math>\ \pi(x) - \operatorname{li}(x)\ </math> परिवर्तन संकेत असीम रूप से अक्सर।<ref>{{cite journal |first=J.E. |last= Littlewood |author-link=John Edensor Littlewood |year=1914 |title=Sur la distribution des nombres premiers |journal=[[Comptes Rendus]] |volume=158 |pages= 1869–1872 | jfm=45.0305.01}}</ref> का पहला मान {{mvar|x}} कहाँ {{math|''π''(''x'')}} से अधिक है {{math|li(''x'')}} शायद आसपास है {{math|''x'' ~ {{10^|316}} }}; अधिक विवरण के लिए Skewes' number पर लेख देखें। (दूसरी ओर, [[ऑफसेट लॉगरिदमिक इंटीग्रल]] {{math|Li(''x'')}} की तुलना में छोटा है {{math|''π''(''x'')}} पहले से ही के लिए {{math|''x'' {{=}} 2}}; वास्तव में, {{math|Li(2) {{=}} 0}}, जबकि {{math|''π''(2) {{=}} 1}}.)
+लॉगरिदमिक इंटीग्रल फलन {{math|li(''x'')}} से बड़ा है {{math|''π''(''x'')}} के छोटे मूल्यों के लिए {{mvar|x}}. ऐसा इसलिए है क्योंकि यह (कुछ अर्थों में) अभाज्य नहीं, बल्कि प्रधान शक्तियाँ, जहाँ शक्ति है, की गिनती है {{sfrac|1| {{mvar|n}} }} रूप में गिना जाता है प्रधान का। इससे पता चलता है {{math|li(''x'')}} से बड़ा होना चाहिए {{math|''π''(''x'')}} द्वारा सामान्यतः <math>\ \tfrac{1}{2} \operatorname{li}(\sqrt{x})\ ,</math> और विशेष रूप से सदैव इससे {{math|''π''(''x'')}} बड़ा होना चाहिए . चूँकि, 1914 में, जॉन एडेंसर लिटलवुड जे. ई। लिटलवुड ने सिद्ध कर दिया <math>\ \pi(x) - \operatorname{li}(x)\ </math> परिवर्तन संकेत असीम रूप से अधिकांशतः।<ref>{{cite journal |first=J.E. |last= Littlewood |author-link=John Edensor Littlewood |year=1914 |title=Sur la distribution des nombres premiers |journal=[[Comptes Rendus]] |volume=158 |pages= 1869–1872 | jfm=45.0305.01}}</ref> {{mvar|x}} का पहला मान जहाँ {{math|''π''(''x'')}} से अधिक है {{math|li(''x'')}} संभवतः आसपास {{math|''x'' ~ {{10^|316}} }} है ; अधिक विवरण के लिए स्केव्स की संख्या पर लेख देखें। (दूसरी ओर, [[ऑफसेट लॉगरिदमिक इंटीग्रल|ऑफसमुच्चय लॉगरिदमिक इंटीग्रल]] {{math|Li(''x'')}} की तुलना में छोटा है {{math|''π''(''x'')}} पहले से ही के लिए {{math|''x'' {{=}} 2}}; वास्तव में, {{math|Li(2) {{=}} 0}}, जबकि {{math|''π''(2) {{=}} 1}}.)
-== प्राथमिक प्रमाण ==
+== प्राथमिक प्रमाण                                                    ==
-बीसवीं शताब्दी के पूर्वार्द्ध में, कुछ गणितज्ञों (विशेष रूप से जी.एच. हार्डी) का मानना था कि गणित में प्रमाण विधियों का एक पदानुक्रम मौजूद है जो इस बात पर निर्भर करता है कि किस प्रकार की संख्याएँ ([[पूर्णांक]], [[वास्तविक संख्या]], सम्मिश्र संख्या) एक प्रमाण के लिए आवश्यक हैं, और यह कि प्रधान संख्या प्रमेय (पीएनटी) जटिल विश्लेषण की आवश्यकता के आधार पर एक गहन प्रमेय है।<ref name="Goldfeld Historical Perspective">{{cite book | first=Dorian | last=Goldfeld | chapter-url=http://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute.pdf | chapter=The elementary proof of the prime number theorem: an historical perspective | year=2004 | title=Number theory (New York, 2003) | pages=179–192 | mr=2044518 | editor1-last=Chudnovsky | editor1-first=David | editor2-last=Chudnovsky | editor2-first=Gregory | editor3-last=Nathanson | editor3-first=Melvyn | location=New York | publisher=Springer-Verlag | isbn=978-0-387-40655-8  | doi=10.1007/978-1-4419-9060-0_10}}</ref> वीनर के टैबेरियन प्रमेय पर आधारित पीएनटी के प्रमाण से यह विश्वास कुछ हद तक हिल गया था, हालांकि इसे अलग रखा जा सकता था यदि वीनर के प्रमेय को जटिल चर विधियों के बराबर गहराई माना जाता था।
+बीसवीं शताब्दी के पूर्वार्द्ध में, कुछ गणितज्ञों (विशेष रूप से जी.एच. हार्डी) का मानना था कि गणित में प्रमाण विधियों का पदानुक्रम उपस्थित है जो इस बात पर निर्भर करता है कि किस प्रकार की संख्याएँ ([[पूर्णांक]], [[वास्तविक संख्या]], सम्मिश्र संख्या) प्रमाण के लिए आवश्यक हैं, और यह कि प्रधान संख्या प्रमेय (पीएनटी) सम्मिश्र विश्लेषण की आवश्यकता के आधार पर गहन प्रमेय है।<ref name="Goldfeld Historical Perspective">{{cite book | first=Dorian | last=Goldfeld | chapter-url=http://www.math.columbia.edu/~goldfeld/ErdosSelbergDispute.pdf | chapter=The elementary proof of the prime number theorem: an historical perspective | year=2004 | title=Number theory (New York, 2003) | pages=179–192 | mr=2044518 | editor1-last=Chudnovsky | editor1-first=David | editor2-last=Chudnovsky | editor2-first=Gregory | editor3-last=Nathanson | editor3-first=Melvyn | location=New York | publisher=Springer-Verlag | isbn=978-0-387-40655-8  | doi=10.1007/978-1-4419-9060-0_10}}</ref> वीनर के टैबेरियन प्रमेय पर आधारित पीएनटी के प्रमाण से यह विश्वास कुछ सीमा तक हिल गया था, चूँकि इसे अलग रखा जा सकता था यदि वीनर के प्रमेय को सम्मिश्र चर विधियों के सामान्य गहराई माना जाता था।
-मार्च 1948 में, एटल सेलबर्ग ने प्रारंभिक तरीकों से, स्पर्शोन्मुख सूत्र की स्थापना की
+मार्च 1948 में, एटल सेलबर्ग ने प्रारंभिक विधियों से, स्पर्शोन्मुख सूत्र की स्थापना की
 :<math>\vartheta ( x )\log ( x ) + \sum\limits_{p \le x} {\log ( p )}\ \vartheta \left( {\frac{x}{p}} \right) = 2x\log ( x ) + O( x )</math>
-कहाँ
+जहाँ
 :<math>\vartheta ( x ) = \sum\limits_{p \le x} {\log ( p )}</math>
-प्राइम्स के लिए {{mvar|p}}.<ref name="Selberg1949">{{Citation|last=Selberg|first=Atle|title=An Elementary Proof of the Prime-Number Theorem|journal=[[Annals of Mathematics]]|year=1949|volume=50|issue=2|pages=305–313|doi=10.2307/1969455|mr=0029410|jstor=1969455|s2cid=124153092 }}</ref> उसी वर्ष जुलाई तक, सेलबर्ग और पॉल एर्डोस<ref name="Erdős1949" />दोनों ने प्रारंभिक बिंदु के रूप में सेलबर्ग के असिम्प्टोटिक सूत्र का उपयोग करते हुए, पीएनटी के प्रारंभिक प्रमाण प्राप्त किए थे।<ref name="Goldfeld Historical Perspective"/><ref name=interview>{{Cite journal|url=https://www.ams.org/bull/2008-45-04/S0273-0979-08-01223-8/S0273-0979-08-01223-8.pdf |first1=Nils A.|last1= Baas|first2= Christian F.|last2= Skau |journal= Bull. Amer. Math. Soc. |volume=45 |year=2008|pages= 617–649 |title=The lord of the numbers, Atle Selberg. On his life and mathematics|doi=10.1090/S0273-0979-08-01223-8|issue=4|mr=2434348|doi-access=free}}</ref> इन सबूतों ने प्रभावी रूप से इस धारणा को शांत करने के लिए रखा कि पीएनटी उस अर्थ में गहरा था, और यह दिखाया कि तकनीकी रूप से प्राथमिक तरीके अधिक शक्तिशाली थे, जैसा कि मामला माना जाता था। पीएनटी के प्रारंभिक प्रमाणों के इतिहास पर, जिसमें एर्डोस-सेलबर्ग [[प्राथमिकता विवाद]] शामिल है, [[डोरियन गोल्डफेल्ड]] द्वारा एक लेख देखें।<ref name="Goldfeld Historical Perspective" />
+प्राइम्स {{mvar|p}} के लिए .<ref name="Selberg1949">{{Citation|last=Selberg|first=Atle|title=An Elementary Proof of the Prime-Number Theorem|journal=[[Annals of Mathematics]]|year=1949|volume=50|issue=2|pages=305–313|doi=10.2307/1969455|mr=0029410|jstor=1969455|s2cid=124153092 }}</ref> उसी वर्ष जुलाई तक, सेलबर्ग और पॉल एर्डोस <ref name="Erdős1949" /> दोनों ने प्रारंभिक बिंदु के रूप में सेलबर्ग के असिम्प्टोटिक सूत्र का उपयोग करते हुए, पीएनटी के प्रारंभिक प्रमाण प्राप्त किए थे।<ref name="Goldfeld Historical Perspective"/><ref name=interview>{{Cite journal|url=https://www.ams.org/bull/2008-45-04/S0273-0979-08-01223-8/S0273-0979-08-01223-8.pdf |first1=Nils A.|last1= Baas|first2= Christian F.|last2= Skau |journal= Bull. Amer. Math. Soc. |volume=45 |year=2008|pages= 617–649 |title=The lord of the numbers, Atle Selberg. On his life and mathematics|doi=10.1090/S0273-0979-08-01223-8|issue=4|mr=2434348|doi-access=free}}</ref> इन प्रमाणों ने प्रभावी रूप से इस धारणा को शांत करने के लिए रखा कि पीएनटी उस अर्थ में गहरा था, और यह दिखाया कि तकनीकी रूप से प्राथमिक विधि अधिक शक्तिशाली थे, जैसा कि स्थिति माना जाता था। पीएनटी के प्रारंभिक प्रमाणों के इतिहास पर, जिसमें एर्डोस-सेलबर्ग [[प्राथमिकता विवाद]] सम्मिलित है, [[डोरियन गोल्डफेल्ड]] द्वारा लेख देखें।<ref name="Goldfeld Historical Perspective" />
-एर्डोस और सेल्बर्ग के नतीजे के महत्व के बारे में कुछ बहस है। संख्या सिद्धांत में [[प्राथमिक प्रमाण]] की धारणा की कोई कठोर और व्यापक रूप से स्वीकृत परिभाषा नहीं है, इसलिए यह स्पष्ट नहीं है कि उनका प्रमाण किस अर्थ में प्राथमिक है। हालांकि यह जटिल विश्लेषण का उपयोग नहीं करता है, यह वास्तव में पीएनटी के मानक प्रमाण से कहीं अधिक तकनीकी है। प्रारंभिक प्रमाण की एक संभावित परिभाषा वह है जिसे पहले क्रम के [[पियानो अंकगणित]] में किया जा सकता है। संख्या-सैद्धांतिक कथन हैं (उदाहरण के लिए, पेरिस-हैरिंगटन प्रमेय) द्वितीय क्रम अंकगणित का उपयोग करके सिद्ध किया जा सकता है, लेकिन प्रथम-क्रम अंकगणितीय नहीं। प्रथम-क्रम विधियाँ, लेकिन ऐसे प्रमेय आज तक दुर्लभ हैं। एर्डोस और सेल्बर्ग के प्रमाण को निश्चित रूप से पीनो अंकगणित में औपचारिक रूप दिया जा सकता है, और 1994 में, चारलांबोस कॉर्नारोस और कोस्टास दिमित्राकोपोलोस ने साबित किया कि उनके प्रमाण को पीए के एक बहुत ही कमजोर टुकड़े में औपचारिक रूप दिया जा सकता है, अर्थात् {{math|''I''Δ<sub>0</sub> + exp}}.<ref>{{cite journal|last1=Cornaros|first1=Charalambos|last2=Dimitracopoulos|first2=Costas|title=The prime number theorem and fragments of ''PA''|year=1994|url=http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|journal=Archive for Mathematical Logic|volume=33|issue=4|pages=265–281|doi=10.1007/BF01270626|mr=1294272|s2cid=29171246|url-status=dead|archive-url=https://web.archive.org/web/20110721083756/http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|archive-date=2011-07-21}}</ref> हालांकि, यह इस सवाल का समाधान नहीं करता है कि पीए में पीएनटी के मानक प्रमाण को औपचारिक रूप दिया जा सकता है या नहीं।
+एर्डोस और सेल्बर्ग के नतीजे के महत्व के बारे में कुछ बहस है। संख्या सिद्धांत में [[प्राथमिक प्रमाण]] की धारणा की कोई कठोर और व्यापक रूप से स्वीकृत परिभाषा नहीं है, इसलिए यह स्पष्ट नहीं है कि उनका प्रमाण किस अर्थ में प्राथमिक है। चूँकि यह सम्मिश्र विश्लेषण का उपयोग नहीं करता है, यह वास्तव में पीएनटी के मानक प्रमाण से कहीं अधिक तकनीकी है। प्रारंभिक प्रमाण की संभावित परिभाषा वह है जिसे पहले क्रम के [[पियानो अंकगणित]] में किया जा सकता है। संख्या-सैद्धांतिक कथन हैं (उदाहरण के लिए, पेरिस-हैरिंगटन प्रमेय) द्वितीय क्रम अंकगणित का उपयोग करके सिद्ध किया जा सकता है, किन्तु प्रथम-क्रम अंकगणितीय नहीं प्रथम-क्रम विधियाँ, किन्तु ऐसे प्रमेय आज तक दुर्लभ हैं। एर्डोस और सेल्बर्ग के प्रमाण को निश्चित रूप से पीनो अंकगणित में औपचारिक रूप दिया जा सकता है, और 1994 में, चारलांबोस कॉर्नारोस और कोस्टास दिमित्राकोपोलोस ने सिद्ध किया कि उनके प्रमाण को पीए के बहुत ही अशक्त टुकड़े में औपचारिक रूप दिया जा सकता है, अर्थात् {{math|''I''Δ<sub>0</sub> + exp}}.<ref>{{cite journal|last1=Cornaros|first1=Charalambos|last2=Dimitracopoulos|first2=Costas|title=The prime number theorem and fragments of ''PA''|year=1994|url=http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|journal=Archive for Mathematical Logic|volume=33|issue=4|pages=265–281|doi=10.1007/BF01270626|mr=1294272|s2cid=29171246|url-status=dead|archive-url=https://web.archive.org/web/20110721083756/http://mpla.math.uoa.gr/~cdimitr/files/publications/AML_33.pdf|archive-date=2011-07-21}}</ref> चूँकि, यह इस सवाल का समाधान नहीं करता है कि पीए में पीएनटी के मानक प्रमाण को औपचारिक रूप दिया जा सकता है या नहीं दिया जा सकता है।
 == कंप्यूटर सत्यापन ==
-में, एवीगाड एट अल। PNT के Erdos-Selberg प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए [[मैं इसाबेल के प्रमेय को सिद्ध करूंगा]] को नियोजित किया।<ref name=Avigad>{{cite journal|first1=Jeremy | last1=Avigad |first2=Kevin |last2=Donnelly |first3=David | last3=Gray |first4=Paul | last4=Raff | title=A formally verified proof of the prime number theorem|year=2008 | mr=2371488 | journal=[[ACM Transactions on Computational Logic]] | volume=9 | issue=1 | pages=2 | doi=10.1145/1297658.1297660 | arxiv=cs/0509025| s2cid=7720253 }}</ref> यह PNT का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने एक विश्लेषणात्मक के बजाय एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक कार्य की धारणाओं को लागू कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था।<ref name=Avigad/>{{rp|19}}
+में, एवीगाड एट.अल. पीएनटी के एर्दोस-सेलबर्ग प्रूफ के कंप्यूटर-सत्यापित संस्करण को तैयार करने के लिए को नियोजित किया था।<ref name=Avigad>{{cite journal|first1=Jeremy | last1=Avigad |first2=Kevin |last2=Donnelly |first3=David | last3=Gray |first4=Paul | last4=Raff | title=A formally verified proof of the prime number theorem|year=2008 | mr=2371488 | journal=[[ACM Transactions on Computational Logic]] | volume=9 | issue=1 | pages=2 | doi=10.1145/1297658.1297660 | arxiv=cs/0509025| s2cid=7720253 }}</ref> यह पीएनटी का पहला मशीन-सत्यापित प्रमाण था। एविगाड ने विश्लेषणात्मक के अतिरिक्त एर्दोस-सेलबर्ग प्रमाण को औपचारिक रूप देना चुना क्योंकि उस समय इसाबेल की लाइब्रेरी सीमा, व्युत्पन्न और पारलौकिक फलन की धारणाओं को प्रयुक्त कर सकती थी, इसके बारे में बात करने के लिए एकीकरण का कोई सिद्धांत नहीं था।<ref name=Avigad/>{{rp|19}}
-में, [[जॉन हैरिसन (गणितज्ञ)]] ने [[एचओएल लाइट]] को जटिल विश्लेषण का उपयोग करते हुए एक प्रमाण को औपचारिक रूप देने के लिए नियोजित किया।<ref>{{Cite journal
+में, [[जॉन हैरिसन (गणितज्ञ)]] ने [[एचओएल लाइट]] को सम्मिश्र विश्लेषण का उपयोग करते हुए प्रमाण को औपचारिक रूप देने के लिए नियोजित किया था।<ref>{{Cite journal
 |title=Formalizing an analytic proof of the Prime Number Theorem
 |last=Harrison
@@ Line 224: / Line 224: @@
   |doi=10.1007/s10817-009-9145-6|citeseerx=10.1.1.646.9725
 |s2cid=8032103
-}}</ref> [[कॉची अभिन्न सूत्र]] समेत आवश्यक विश्लेषणात्मक मशीनरी विकसित करके, हैरिसन अधिक शामिल 'प्राथमिक' एर्दोस-सेलबर्ग के बजाय एक प्रत्यक्ष, आधुनिक और सुरुचिपूर्ण प्रमाण को औपचारिक रूप देने में सक्षम था।<!-- Erdös not Erdős in quote, but Wikipedia editorially corrects it --> तर्क ।
+}}</ref> [[कॉची अभिन्न सूत्र]] समेत आवश्यक विश्लेषणात्मक मशीनरी विकसित करके, हैरिसन अधिक सम्मिलित 'प्राथमिक' एर्दोस-सेलबर्ग के अतिरिक्त प्रत्यक्ष, आधुनिक और सुरुचिपूर्ण प्रमाण को औपचारिक रूप देने में सक्षम था।
 == अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय ==
-होने देना {{math|''π''<sub>''d'',''a''</sub>(''x'')}} [[अंकगणितीय प्रगति]] में प्राइम्स की संख्या को निरूपित करें {{math|''a'', ''a'' + ''d'', ''a'' + 2''d'', ''a'' + 3''d'', ...}} जो इससे कम हैं {{mvar|x}}. डिरिचलेट और लिजेंड्रे ने अनुमान लगाया, और डे ला वल्ली पुसिन ने साबित किया कि अगर {{mvar|a}} और {{mvar|d}} Coprime हैं, तो
+माना {{math|''π''<sub>''d'',''a''</sub>(''x'')}} [[अंकगणितीय प्रगति]] में प्राइम्स की संख्या {{math|''a'', ''a'' + ''d'', ''a'' + 2''d'', ''a'' + 3''d'', ...}} को निरूपित करें जो इससे {{mvar|x}} कम हैं . डिरिचलेट और लिजेंड्रे ने अनुमान लगाया, और डे ला वल्ली पुसिन ने सिद्ध किया कि यदि {{mvar|a}} और {{mvar|d}} सहप्राइम हैं, तो
 :<math>\pi_{d,a}(x) \sim \frac{ \operatorname{Li}(x) }{ \varphi(d) } \ ,</math>
-कहाँ {{mvar|φ}} यूलर का कुल कार्य है। दूसरे शब्दों में, अभाज्य संख्याएँ अवशेष वर्गों के बीच समान रूप से वितरित की जाती हैं {{math|[''a'']}} [[मॉड्यूलर अंकगणित]] {{mvar|d}} साथ {{math|gcd(''a'', ''d'') {{=}} 1}}. यह अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय से अधिक मजबूत है (जो केवल यह बताता है कि प्रत्येक वर्ग में अभाज्य संख्याओं की अनंतता है) और न्यूमैन द्वारा उनके अभाज्य संख्या प्रमेय के प्रमाण के लिए उपयोग की जाने वाली समान विधियों का उपयोग करके सिद्ध किया जा सकता है।<ref>{{cite web |first=Ivan |last=Soprounov |year=1998 |title=A short proof of the Prime Number Theorem for arithmetic progressions |publisher=[[Cleveland State University]] |place=Ohio |url=http://academic.csuohio.edu/soprunov_i/pdf/primes.pdf}}</ref>
+जहाँ {{mvar|φ}} यूलर का कुल फलन है। दूसरे शब्दों में, अभाज्य संख्याएँ अवशेष वर्गों के बीच समान रूप से वितरित की जाती हैं इस प्रकार {{math|[''a'']}} [[मॉड्यूलर अंकगणित]] {{mvar|d}} साथ {{math|gcd(''a'', ''d'') {{=}} 1}}. यह अंकगणितीय प्रगति पर डिरिचलेट के प्रमेय से अधिक सशक्त है (जो केवल यह बताता है कि प्रत्येक वर्ग में अभाज्य संख्याओं की अनंतता है) और न्यूमैन द्वारा उनके अभाज्य संख्या प्रमेय के प्रमाण के लिए उपयोग की जाने वाली समान विधियों का उपयोग करके सिद्ध किया जा सकता है।<ref>{{cite web |first=Ivan |last=Soprounov |year=1998 |title=A short proof of the Prime Number Theorem for arithmetic progressions |publisher=[[Cleveland State University]] |place=Ohio |url=http://academic.csuohio.edu/soprunov_i/pdf/primes.pdf}}</ref>
-सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए एक अच्छा अनुमान देता है।
-बेनेट एट अल। <ref>{{cite journal | first1 = Michael A. | last1 = Bennett | first2 = Greg | last2 = Martin | first3 = Kevin | last3 = O'Bryant | first4 = Andrew | last4 = Rechnitzer | title = Explicit bounds for primes in arithmetic progressions | journal = Illinois J. Math. | volume = 62 | issue = 1–4 | date = 2018 | pages = 427–532 | doi = 10.1215/ijm/1552442669 | arxiv = 1802.00085 | s2cid = 119647640 }}</ref>
+सीगल-वाल्फ़िज़ प्रमेय अवशेष वर्गों में प्राइम्स के वितरण के लिए अच्छा अनुमान देता है।
-निम्नलिखित अनुमान को सिद्ध किया जिसमें स्पष्ट स्थिरांक हैं {{mvar|A}} और {{mvar|B}} (प्रमेय 1.3):
-होने देना {{mvar|d}} <math>\ge 3</math> एक पूर्णांक बनें और दें {{mvar|a}} एक पूर्णांक बनें जो कोप्राइम है {{mvar|d}}. फिर सकारात्मक स्थिरांक हैं {{mvar|A}} और {{mvar|B}} ऐसा है कि
+बेनेट एट अल <ref>{{cite journal | first1 = Michael A. | last1 = Bennett | first2 = Greg | last2 = Martin | first3 = Kevin | last3 = O'Bryant | first4 = Andrew | last4 = Rechnitzer | title = Explicit bounds for primes in arithmetic progressions | journal = Illinois J. Math. | volume = 62 | issue = 1–4 | date = 2018 | pages = 427–532 | doi = 10.1215/ijm/1552442669 | arxiv = 1802.00085 | s2cid = 119647640 }}</ref> निम्नलिखित अनुमान {{mvar|A}} और {{mvar|B}} (प्रमेय 1.3) को सिद्ध किया जिसमें स्पष्ट स्थिरांक हैं:
+माना {{mvar|d}} <math>\ge 3</math> पूर्णांक बनें और दें {{mvar|a}} पूर्णांक बनें जो कोप्राइम {{mvar|d}} है . फिर धनात्मक स्थिरांक {{mvar|A}} और {{mvar|B}} हैं ऐसा है कि
 :<math> \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\ ,</math>
-कहाँ
+जहाँ
 :<math> 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 ~,</math> और
 :<math>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\ .</math>
 === अभाज्य संख्या जाति ===
-[[File:Chebyshev bias.svg|thumb|समारोह का प्लॉट <math>\ \pi(x;4,3)-\pi(x;4,1) \ </math> n ≤ 30000 के लिए]]हालांकि हमारे पास विशेष रूप से है
+[[File:Chebyshev bias.svg|thumb|फलन का प्लॉट <math>\ \pi(x;4,3)-\pi(x;4,1) \ </math> n ≤ 30000 के लिए]]चूँकि हमारे पास विशेष रूप से है
 :<math>\pi_{4,1}(x) \sim \pi_{4,3}(x) \ ,</math>
-अनुभवजन्य रूप से 3 के सर्वांगसम अभाज्य संख्याएँ अधिक हैं और इस अभाज्य संख्या की दौड़ में लगभग हमेशा आगे रहती हैं; पहला उत्क्रमण पर होता है {{math|''x'' {{=}} 26861}}.<ref name="Granville Martin MAA">
+अनुभवजन्य रूप से 3 के सर्वांगसम अभाज्य संख्याएँ अधिक हैं और इस अभाज्य संख्या की दौड़ में लगभग सदैव आगे रहती हैं; पहला उत्क्रमण पर होता है {{math|''x'' {{=}} 26861}}.<ref name="Granville Martin MAA">
 {{cite journal
   | doi = 10.2307/27641834
@@ Line 257: / Line 256: @@
   | jstor = 27641834 | mr = 2202918
   | url = http://www.dms.umontreal.ca/%7Eandrew/PDF/PrimeRace.pdf
-}}</ref>{{Rp|1–2}} हालाँकि लिटिलवुड ने 1914 में दिखाया<ref name="Granville Martin MAA"/>{{Rp|2}} कि फलन के लिए अपरिमित रूप से अनेक चिह्न परिवर्तन हैं
+}}</ref>{{Rp|1–2}} चूँकि लिटिलवुड ने 1914 में दिखाया <ref name="Granville Martin MAA"/>{{Rp|2}} कि फलन के लिए अपरिमित रूप से अनेक चिह्न परिवर्तन हैं
 :<math>\pi_{4,1}(x) - \pi_{4,3}(x) ~,</math>
-इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो {{math|''π''<sub>4,3</sub>(''x'')}} अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या हमेशा ऐसा ही होता है {{math|''π''(''x'';''a'',''c'')}} और {{math|''π''(''x'';''b'',''c'')}} स्थान बदलें जब {{mvar|a}} और {{mvar|b}} कोप्राइम हैं {{mvar|c}}.<ref name=GuyA4>{{cite book |last=Guy | first=Richard K. | author-link=Richard K. Guy | year=2004 | title=Unsolved Problems in Number Theory | publisher=[[Springer-Verlag]] |edition=3rd |isbn=978-0-387-20860-2 | zbl=1058.11001 | at=A4 }}</ref> [[एंड्रयू ग्रानविले]] और मार्टिन एक संपूर्ण विवरण और सर्वेक्षण देते हैं।<ref name="Granville Martin MAA" />
+इसलिए दौड़ में आगे और पीछे असीम रूप से कई बार बदल जाता है। वह घटना जो {{math|''π''<sub>4,3</sub>(''x'')}} अधिकांश समय आगे रहने को चेबिशेव का पूर्वाग्रह कहा जाता है। अभाज्य संख्या जाति अन्य मापदण्डों के लिए सामान्यीकृत होती है और यह बहुत अधिक शोध का विषय है; पाल तुरान ने पूछा कि क्या सदैव ऐसा ही होता है {{math|''π''(''x'';''a'',''c'')}} और {{math|''π''(''x'';''b'',''c'')}} स्थान बदलें जब {{mvar|a}} और {{mvar|b}} कोप्राइम {{mvar|c}} हैं .<ref name=GuyA4>{{cite book |last=Guy | first=Richard K. | author-link=Richard K. Guy | year=2004 | title=Unsolved Problems in Number Theory | publisher=[[Springer-Verlag]] |edition=3rd |isbn=978-0-387-20860-2 | zbl=1058.11001 | at=A4 }}</ref> [[एंड्रयू ग्रानविले]] और मार्टिन संपूर्ण विवरण और सर्वेक्षण देते हैं।<ref name="Granville Martin MAA" />
+==== प्राइम-काउंटिंग फलन पर गैर-असिम्प्टोटिक सीमाएँ ====
-== प्राइम-काउंटिंग फंक्शन == पर गैर-असिम्प्टोटिक सीमाएँ
+अभाज्य संख्या प्रमेय उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी {{math|''π''(''x'')}} परिणाम देता है सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए {{math|''ε'' > 0}}, वहाँ है {{mvar|S}} ऐसा कि सभी {{math|''x'' > ''S''}} के लिए ,
-अभाज्य संख्या प्रमेय एक उपगामी परिणाम है। यह संख्या सिद्धांत पर आधारित प्रभावी परिणाम देता है {{math|''π''(''x'')}} सीमा की परिभाषा के प्रत्यक्ष परिणाम के रूप में: सभी के लिए {{math|''ε'' > 0}}, वहाँ है एक {{mvar|S}} ऐसा कि सभी के लिए {{math|''x'' > ''S''}},
 : <math> (1-\varepsilon)\frac {x}{\log x} \; < \; \pi(x) \; < \; (1+\varepsilon)\frac {x}{\log x} \; .</math>
-हालांकि, बेहतर सीमा है {{math|''π''(''x'')}} जाना जाता है, उदाहरण के लिए पियरे डुसार्ट का
+चूँकि, उत्तम सीमा है {{math|''π''(''x'')}} जाना जाता है, उदाहरण के लिए पियरे डुसार्ट का
 :<math> \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) \; .</math>
-पहली असमानता सभी के लिए है {{math|''x'' ≥ 599}} और दूसरा के लिए {{math|''x'' ≥ 355991}}.<ref>{{cite thesis |last=Dusart |first=Pierre |date=26 May 1998 |title=Autour de la fonction qui compte le nombre de nombres premiers |degree=Ph.D. |place=Limoges, France |publisher=l'Université de Limoges |department=département de Mathématiques |url=http://www.unilim.fr/laco/theses/1998/T1998_01.html |lang=fr}}</ref>
+पहली असमानता सभी के लिए है {{math|''x'' ≥ 599}} और दूसरा के लिए {{math|''x'' ≥ 355991}}.<ref>{{cite thesis |last=Dusart |first=Pierre |date=26 May 1998 |title=Autour de la fonction qui compte le nombre de nombres premiers |degree=Ph.D. |place=Limoges, France |publisher=l'Université de Limoges |department=département de Mathématiques |url=http://www.unilim.fr/laco/theses/1998/T1998_01.html |lang=fr}}</ref> अशक्त किन्तु कभी-कभी उपयोगी बाउंड {{math|''x'' ≥ 55}} है <ref name="rosser">{{cite journal |first=Barkley |last=Rosser |author-link=J. Barkley Rosser |year=1941 |title=Explicit bounds for some functions of prime numbers |journal=[[American Journal of Mathematics]] |volume=63 |issue=1 |pages=211–232 |doi=10.2307/2371291 |jstor=2371291 |mr=0003018}}</ref>
-के लिए एक कमजोर लेकिन कभी-कभी उपयोगी बाउंड {{math|''x'' ≥ 55}} है<ref name="rosser">{{cite journal |first=Barkley |last=Rosser |author-link=J. Barkley Rosser |year=1941 |title=Explicit bounds for some functions of prime numbers |journal=[[American Journal of Mathematics]] |volume=63 |issue=1 |pages=211–232 |doi=10.2307/2371291 |jstor=2371291 |mr=0003018}}</ref>
 :<math> \frac {x}{\log x + 2} \; < \; \pi(x) \; < \; \frac {x}{\log x - 4} \; .</math>
-पियरे दुसर्ट की थीसिस में इस प्रकार की असमानता के मजबूत संस्करण हैं जो बड़े के लिए मान्य हैं {{mvar|x}}. बाद में 2010 में, दुसार्ट ने साबित किया:<ref>{{cite arXiv |last=Dusart |first=Pierre |year=2010 |title=Estimates of some functions over primes, without R.H. |eprint=1002.0442 |class=math.NT}}</ref>
+पियरे दुसर्ट की थीसिस में इस प्रकार की असमानता के सशक्त संस्करण हैं जो बड़े के लिए मान्य हैं {{mvar|x}}. बाद में 2010 में, दुसार्ट ने सिद्ध किया:<ref>{{cite arXiv |last=Dusart |first=Pierre |year=2010 |title=Estimates of some functions over primes, without R.H. |eprint=1002.0442 |class=math.NT}}</ref>
 :<math>\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}</math>
-डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए {{math|''ε'' > 0}}, वहाँ है एक {{mvar|S}} ऐसा कि सभी के लिए {{math|''x'' > ''S''}},
+डे ला वल्ली पुसिन के प्रमाण का तात्पर्य निम्नलिखित है: प्रत्येक के लिए {{math|''ε'' > 0}}, वहाँ {{mvar|S}} है ऐसा कि सभी {{math|''x'' > ''S''}} के लिए ,
 : <math>\frac {x}{\log x - (1 - \varepsilon)} \; < \; \pi(x) \; < \; \frac {x}{\log x - (1+\varepsilon)} \; .</math>
-== के लिए अनुमान{{mvar|n}}वें अभाज्य संख्या ==
+== {{mvar|n}}वें अभाज्य संख्या के लिए अनुमान ==
-अभाज्य संख्या प्रमेय के परिणाम के रूप में, एक के लिए एक स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है {{mvar|n}}वें अभाज्य संख्या, द्वारा निरूपित {{math|''p''<sub>''n''</sub>}}:
+अभाज्य संख्या प्रमेय के परिणाम के रूप में, के लिए स्पर्शोन्मुख अभिव्यक्ति प्राप्त होती है {{mvar|n}}वें अभाज्य संख्या, {{math|''p''<sub>''n''</sub>}} द्वारा निरूपित है :
 :<math>p_n \sim n \log n.</math>
-एक बेहतर सन्निकटन है<ref>{{cite journal|author-link=Ernesto Cesàro|first=Ernesto|last=Cesàro|year=1894|title=Sur une formule empirique de M. Pervouchine|journal=Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences|volume=119|pages=848–849|url=http://gallica.bnf.fr/ark:/12148/bpt6k30752|language=fr}}</ref>
+एक उत्तम सन्निकटन है<ref>{{cite journal|author-link=Ernesto Cesàro|first=Ernesto|last=Cesàro|year=1894|title=Sur une formule empirique de M. Pervouchine|journal=Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences|volume=119|pages=848–849|url=http://gallica.bnf.fr/ark:/12148/bpt6k30752|language=fr}}</ref>
 :<math> \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).</math>
-फिर से विचार कर रहा हूँ {{val|2|e=17}}वें अभाज्य संख्या {{val|8512677386048191063}}, यह एक अनुमान देता है {{val|8512681315554715386}}; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।
+फिर {{val|2|e=17}}वें अभाज्य संख्या {{val|8512677386048191063}}, यह अनुमान देता है {{val|8512681315554715386}}; पहले 5 अंक मेल खाते हैं और सापेक्ष त्रुटि लगभग 0.00005% है।
 रोसेर की प्रमेय कहती है कि
-:<math>p_n > n \log n.</math> इसे निम्नलिखित बाउंड युग्म द्वारा सुधारा जा सकता है:<ref name="rosser" />
+:<math>p_n > n \log n.</math>
-<ref>{{cite journal|author-link=Pierre Dusart|last=Dusart|first=Pierre|title=The {{mvar|k}}th prime is greater than {{math|''k''(log ''k'' + log log ''k''−1)}} for {{math|''k'' ≥ 2}}|journal=[[Mathematics of Computation]]|volume=68|issue=225|year=1999|pages=411–415|mr=1620223|doi=10.1090/S0025-5718-99-01037-6|doi-access=free}}</ref>
+:इसे निम्नलिखित बाउंड युग्म द्वारा सुधारा जा सकता है:<ref name="rosser" /><ref>{{cite journal|author-link=Pierre Dusart|last=Dusart|first=Pierre|title=The {{mvar|k}}th prime is greater than {{math|''k''(log ''k'' + log log ''k''−1)}} for {{math|''k'' ≥ 2}}|journal=[[Mathematics of Computation]]|volume=68|issue=225|year=1999|pages=411–415|mr=1620223|doi=10.1090/S0025-5718-99-01037-6|doi-access=free}}</ref>
 :<math> \log n + \log\log n - 1 < \frac{p_n}{n} < \log n + \log \log n \quad\text{for } n \ge 6. </math>
+== {{math|''π''(''x'')}}, {{math|''x'' / log ''x''}}, और {{math|li(''x'')}} की तालिका ==
+तालिका के स्पष्ट मानों की तुलना करती है {{math|''π''(''x'')}} दो अनुमानों के लिए {{math|''x'' / log ''x''}} और {{math|li(''x'')}}. अंतिम स्तंभ, {{math|''x'' / ''π''(''x'')}}, नीचे औसत [[प्रमुख अंतर]] {{mvar|x}} है.
-== की तालिका {{math|''π''(''x'')}}, {{math|''x'' / log ''x''}}, और {{math|li(''x'')}}==
-तालिका के सटीक मानों की तुलना करती है {{math|''π''(''x'')}} दो अनुमानों के लिए {{math|''x'' / log ''x''}} और {{math|li(''x'')}}. अंतिम स्तंभ, {{math|''x'' / ''π''(''x'')}}, नीचे औसत [[प्रमुख अंतर]] है{{mvar|x}}.
 :{| class="wikitable" style="text-align: right"
 ! {{mvar|x}}
@@ Line 485: / Line 482: @@
 |
 |}
-के लिए मूल्य {{math|''π''(10<sup>24</sup>)}} मूल रूप से रीमैन परिकल्पना मानते हुए गणना की गई थी;<ref name="Franke">{{cite web |title=Conditional Calculation of {{math|''π''(10<sup>24</sup>)}} |url=http://primes.utm.edu/notes/pi(10%5E24).html |publisher=Chris K. Caldwell |archiveurl=https://web.archive.org/web/20100804004746/http://primes.utm.edu/notes/pi(10%5E24).html |archivedate=2010-08-04 |access-date=2010-08-03}}</ref> तब से इसे बिना शर्त सत्यापित किया गया है।<ref name="PlattARXIV2012">{{cite journal | last=Platt | first=David | title=Computing {{math|''π''(''x'')}} analytically | year=2015 | journal=[[Mathematics of Computation]] | volume=84 | issue=293 | pages=1521–1535 | mr=3315519 | arxiv=1203.5712 | doi=10.1090/S0025-5718-2014-02884-6 | s2cid=119174627 }}</ref>
+{{math|''π''(10<sup>24</sup>)}} के लिए मूल्य मूल रूप से रीमैन परिकल्पना मानते हुए गणना की गई थी;<ref name="Franke">{{cite web |title=Conditional Calculation of {{math|''π''(10<sup>24</sup>)}} |url=http://primes.utm.edu/notes/pi(10%5E24).html |publisher=Chris K. Caldwell |archiveurl=https://web.archive.org/web/20100804004746/http://primes.utm.edu/notes/pi(10%5E24).html |archivedate=2010-08-04 |access-date=2010-08-03}}</ref> तब से इसे बिना नियम सत्यापित किया गया है।<ref name="PlattARXIV2012">{{cite journal | last=Platt | first=David | title=Computing {{math|''π''(''x'')}} analytically | year=2015 | journal=[[Mathematics of Computation]] | volume=84 | issue=293 | pages=1521–1535 | mr=3315519 | arxiv=1203.5712 | doi=10.1090/S0025-5718-2014-02884-6 | s2cid=119174627 }}</ref>
+== एक [[परिमित क्षेत्र]] पर [[अलघुकरणीय बहुपद]] के लिए अनुरूप ==
+अभाज्य संख्या प्रमेय का एनालॉग है जो परिमित क्षेत्र पर अलघुकरणीय बहुपदों के वितरण का वर्णन करता है; यह जो रूप लेता है वह मौलिक अभाज्य संख्या प्रमेय के स्थिति के समान ही है।
+इसे ठीक-ठीक बताने के लिए, आइए {{math|''F'' {{=}} GF(''q'')}} के साथ परिमित क्षेत्र हो {{mvar|q}} तत्व, कुछ निश्चित के लिए {{mvar|q}}, और जाने {{mvar|N<sub>n</sub>}} [[मोनिक बहुपद]] अलघुकरणीय बहुपदों की संख्या अधिक हो {{mvar|F}} जिसकी बहुपद की डिग्री के सामान्य है {{mvar|n}}. यही है, हम बहुपदों को गुणांक के साथ देख रहे हैं जिनमें {{mvar|F}} से चुना गया है , जिसे छोटी कोटि के बहुपदों के गुणनफल के रूप में नहीं लिखा जा सकता। इस समुच्चयिंग में, ये बहुपद प्रमुख संख्याओं की भूमिका निभाते हैं, क्योंकि अन्य सभी मोनिक बहुपद उनके उत्पादों से बने होते हैं। तभी कोई यह सिद्ध कर सकता है
-== एक [[परिमित क्षेत्र]] पर [[अलघुकरणीय बहुपद]]ों के लिए अनुरूप ==
-अभाज्य संख्या प्रमेय का एक एनालॉग है जो परिमित क्षेत्र पर अलघुकरणीय बहुपदों के वितरण का वर्णन करता है; यह जो रूप लेता है वह शास्त्रीय अभाज्य संख्या प्रमेय के मामले के समान ही है।
-इसे ठीक-ठीक बताने के लिए, आइए {{math|''F'' {{=}} GF(''q'')}} के साथ परिमित क्षेत्र हो {{mvar|q}} तत्व, कुछ निश्चित के लिए {{mvar|q}}, और जाने {{mvar|N<sub>n</sub>}} [[मोनिक बहुपद]] अलघुकरणीय बहुपदों की संख्या अधिक हो {{mvar|F}} जिसकी बहुपद की डिग्री के बराबर है {{mvar|n}}. यही है, हम बहुपदों को गुणांक के साथ देख रहे हैं जिनमें से चुना गया है {{mvar|F}}, जिसे छोटी कोटि के बहुपदों के गुणनफल के रूप में नहीं लिखा जा सकता। इस सेटिंग में, ये बहुपद प्रमुख संख्याओं की भूमिका निभाते हैं, क्योंकि अन्य सभी मोनिक बहुपद उनके उत्पादों से बने होते हैं। तभी कोई यह सिद्ध कर सकता है
 :<math>N_n \sim \frac{q^n}{n}.</math>
-अगर हम प्रतिस्थापन करते हैं {{math|''x'' {{=}} ''q''<sup>''n''</sup>}}, तो दाहिना हाथ न्यायपूर्ण है
+यदि हम प्रतिस्थापन करते हैं {{math|''x'' {{=}} ''q''<sup>''n''</sup>}}, तो दाहिना हाथ न्यायपूर्ण है
 :<math>\frac{x}{\log_q x},</math>
-जो समानता को स्पष्ट करता है। चूंकि ठीक हैं {{math|''q''<sup>''n''</sup>}} डिग्री के मोनिक बहुपद {{mvar|n}} (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का एक मोनिक बहुपद {{mvar|n}} बेतरतीब ढंग से चुना जाता है, तो इसके अलघुकरणीय होने की प्रायिकता लगभग होती है{{math|{{sfrac|1|''n''}}}}.
+जो समानता को स्पष्ट करता है। चूंकि ठीक हैं {{math|''q''<sup>''n''</sup>}} डिग्री के मोनिक बहुपद {{mvar|n}} (कम करने योग्य वाले सहित), इसे निम्नानुसार दोहराया जा सकता है: यदि डिग्री का मोनिक बहुपद {{mvar|n}} अनैतिक विधि से चुना जाता है, तो इसके अलघुकरणीय {{math|{{sfrac|1|''n''}}}} होने की प्रायिकता लगभग होती है.
-कोई भी रीमैन परिकल्पना का एक एनालॉग भी साबित कर सकता है, जिसका नाम है
+कोई भी रीमैन परिकल्पना का एनालॉग भी सिद्ध कर सकता है, जिसका नाम है
 :<math>N_n = \frac{q^n}n + O\left(\frac{q^\frac{n}{2}}{n}\right).</math>
-शास्त्रीय मामले की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें एक छोटा, [[साहचर्य]] तर्क शामिल है,<ref>{{cite journal|last1=Chebolu|first1=Sunil|first2=Ján|last2=Mináč|title=Counting Irreducible Polynomials over Finite Fields Using the Inclusion {{pi}} Exclusion Principle|journal=Mathematics Magazine|date=December 2011|volume=84|issue=5|pages=369–371|doi=10.4169/math.mag.84.5.369|jstor=10.4169/math.mag.84.5.369|arxiv=1001.0409|s2cid=115181186}}</ref> संक्षेप में इस प्रकार है: डिग्री के हर तत्व {{mvar|n}} का विस्तार {{mvar|F}} कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात है {{mvar|d}} विभाजित {{mvar|n}}; इन जड़ों को दो अलग-अलग तरीकों से गिनने से यह स्थापित होता है
+मौलिक स्थिति की तुलना में इन कथनों के प्रमाण कहीं अधिक सरल हैं। इसमें छोटा, [[साहचर्य]] तर्क सम्मिलित है,<ref>{{cite journal|last1=Chebolu|first1=Sunil|first2=Ján|last2=Mináč|title=Counting Irreducible Polynomials over Finite Fields Using the Inclusion {{pi}} Exclusion Principle|journal=Mathematics Magazine|date=December 2011|volume=84|issue=5|pages=369–371|doi=10.4169/math.mag.84.5.369|jstor=10.4169/math.mag.84.5.369|arxiv=1001.0409|s2cid=115181186}}</ref> संक्षेप में इस प्रकार है: डिग्री के प्रत्येक तत्व {{mvar|n}} का विस्तार {{mvar|F}} कुछ अलघुकरणीय बहुपद की जड़ है जिसकी घात {{mvar|d}} विभाजित {{mvar|n}} है ; इन जड़ों को दो अलग-अलग विधियों से गिनने से यह स्थापित होता है
 :<math>q^n = \sum_{d\mid n} d N_d,</math>
-जहां योग सभी वि[[भाजक]]ों पर है {{mvar|d}} का {{mvar|n}}. मोबियस उलटा तो उपज देता है
+जहां योग सभी वि[[भाजक]] {{mvar|d}} का {{mvar|n}} पर है. मोबियस उलटा तो उपज देता है
 :<math>N_n = \frac{1}{n} \sum_{d\mid n} \mu\left(\frac{n}{d}\right) q^d,</math>
-कहाँ {{math|''μ''(''k'')}} मोबियस फ़ंक्शन है। (यह सूत्र गॉस को ज्ञात था।<!-- although I haven't got a reference for this. -->) मुख्य शब्द के लिए होता है {{math|''d'' {{=}} ''n''}}, और शेष शर्तों को बाध्य करना कठिन नहीं है। रीमैन परिकल्पना कथन इस तथ्य पर निर्भर करता है कि सबसे बड़ा [[उचित विभाजक]] {{mvar|n}} से बड़ा नहीं हो सकता {{math|{{sfrac|''n''|2}}}}.
+जहाँ {{math|''μ''(''k'')}} मोबियस फलन है। (यह सूत्र गॉस को ज्ञात था।) मुख्य शब्द {{math|''d'' {{=}} ''n''}} के लिए होता है , और शेष नियमों को बाध्य करना कठिन नहीं है। रीमैन परिकल्पना कथन इस तथ्य पर निर्भर करता है कि सबसे बड़ा [[उचित विभाजक]] {{mvar|n}} से बड़ा {{math|{{sfrac|''n''|2}}}} नहीं हो सकता है.
-== यह भी देखें ==
+== यह भी देखें                                                                                                                                                                                                     ==
 * [[सार विश्लेषणात्मक संख्या सिद्धांत]] प्रमेय के सामान्यीकरण के बारे में जानकारी के लिए।
 * बीजगणितीय संख्या क्षेत्रों में प्रमुख आदर्शों के सामान्यीकरण के लिए लन्दौ प्रधान आदर्श प्रमेय।
 * रीमैन परिकल्पना
-== उद्धरण ==
+== उद्धरण                                                                                                                                                                                                  ==
 {{reflist|25em}}
+== संदर्भ                                                                                                                                                                                                            ==
-== संदर्भ ==
 * {{cite journal
   |last=Granville |first=Andrew
@@ Line 561: / Line 554: @@
   |issn=1439-7382
 }}
+==बाहरी संबंध                                                                                                                                                                                                         ==
-==बाहरी संबंध==
 * {{springer|title=Distribution of prime numbers|id=p/d033530}}
 * [https://web.archive.org/web/20101115185805/http://www.scs.uiuc.edu/~mainzv/exhibitmath/exhibit/felkel.htm Table of Primes by Anton Felkel].
@@ Line 571: / Line 562: @@
 * [http://www.ieeta.pt/~tos/primes.html Tables of prime-counting functions] by Tomás Oliveira e Silva
 * Eberl, Manuel and [[Lawrence Paulson|Paulson, L. C.]] [https://www.isa-afp.org/entries/Prime_Number_Theorem.html The Prime Number Theorem (Formal proof development in Isabelle/HOL, Archive of Formal Proofs)]
-*[http://www.dimostriamogoldbach.it/en/prime-number-theorem-path/ 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 [http://www.dimostriamogoldbach.it/en/ www.dimostriamogoldbach.it/en/ ]
+*[http://www.dimostriamogoldbach.it/en/prime-number-theorem-path/ 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 [http://www.dimostriamogoldbach.it/en/ www.dimostriamogoldbach.it/en/ ]
-{{DEFAULTSORT:Prime Number Theorem}}[[Category: लघुगणक]] [[Category: अभाज्य संख्याओं के बारे में प्रमेय]] [[Category: विश्लेषणात्मक संख्या सिद्धांत में प्रमेय]]
+{{DEFAULTSORT:Prime Number Theorem}}
-[[Category: Machine Translated Page]]
+[[Category:Articles containing French-language text|Prime Number Theorem]]
-[[Category:Created On 08/02/2023]]
+[[Category:CS1|Prime Number Theorem]]
+[[Category:CS1 errors|Prime Number Theorem]]
+[[Category:CS1 français-language sources (fr)|Prime Number Theorem]]
+[[Category:Created On 08/02/2023|Prime Number Theorem]]
+[[Category:Lua-based templates|Prime Number Theorem]]
+[[Category:Machine Translated Page|Prime Number Theorem]]
+[[Category:Pages with reference errors|Prime Number Theorem]]
+[[Category:Pages with script errors|Prime Number Theorem]]
+[[Category:Short description with empty Wikidata description|Prime Number Theorem]]
+[[Category:Template documentation pages|Short description/doc]]
+[[Category:Templates Vigyan Ready|Prime Number Theorem]]
+[[Category:Templates that add a tracking category|Prime Number Theorem]]
+[[Category:Templates that generate short descriptions|Prime Number Theorem]]
+[[Category:Templates using TemplateData|Prime Number Theorem]]
+[[Category:Webarchive template wayback links|Prime Number Theorem]]

Anonymous

Search

अभाज्य संख्या प्रमेय: Difference between revisions

Latest revision as of 13:43, 6 September 2023

कथन

अभाज्य संख्याओं के स्पर्शोन्मुख नियम के प्रमाण का इतिहास

प्रमाण स्केच

गैर-लुप्त होने पर Re(s) = 1

अभाज्य संख्या प्रमेय का न्यूमैन का प्रमाण

लॉगरिदमिक इंटीग्रल के संदर्भ में प्राइम-काउंटिंग फलन

प्राथमिक प्रमाण

कंप्यूटर सत्यापन

अंकगणितीय प्रगति के लिए अभाज्य संख्या प्रमेय

अभाज्य संख्या जाति

प्राइम-काउंटिंग फलन पर गैर-असिम्प्टोटिक सीमाएँ

nवें अभाज्य संख्या के लिए अनुमान

π(x), x / log x, और li(x) की तालिका

एक परिमित क्षेत्र पर अलघुकरणीय बहुपद के लिए अनुरूप

यह भी देखें

उद्धरण

संदर्भ

बाहरी संबंध

Navigation

Wiki tools

Page tools

Other projects

Hidden categories

गैर-लुप्त होने पर $Re(s) = 1$

$n$ वें अभाज्य संख्या के लिए अनुमान

$π (x)$ , $x / log x$ , और $li(x)$ की तालिका