---
title: "फलनों की तुलना"
book: "विश्वविद्यालय गणित — स्नातक वर्ष 2"
subject: math
language: hi
chapter: 6
exercises: 12
source: https://one-course.com/books/math/4/hi/chapter/6-comparison-of-functions
---

# अध्याय 6 — फलनों की तुलना

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

## 6.1 तुलना संबंध और पैमाने

**परिभाषा 6.1.**

किसी बिंदु $a$ के पास ($a \in \R$ अथवा $\pm\infty$), फलनों के लिए (अथवा अनुक्रमों के लिए, $n \to \infty$ के साथ): $f = o(g)$, $f = O(g)$, $f \sim g$ — प्रथम वर्ष के खंड की तरह। $a$ पर *तुलना-पैमाना* धनात्मक फलनों का ऐसा कुल है जो जोड़े-जोड़े में तुलनीय हो और $o(\cdot)$ के द्वारा पूर्णतः क्रमित हो — और $+\infty$ पर मानक पैमाना

$$
x^{\alpha} (\ln x)^{\beta}
\qquad (\alpha, \beta \in \R),
$$

है, जो $(\alpha, \beta)$ में शब्दकोश-क्रम में क्रमित है और आवश्यकता पड़ने पर घातांकी $\eu^{\gamma x}$ से परिष्कृत किया जाता है।

**परिभाषा 6.2 (अनंतस्पर्शी प्रसार).**

$f$ का *अनंतस्पर्शी प्रसार*

$$
f = c_1 \varphi_1 + c_2\varphi_2 + \dots + c_k \varphi_k +
o(\varphi_k)
\qquad (\varphi_{i+1} = o(\varphi_i) \text{ पैमाने में})
$$

तब होता है जब क्रमिक शेषपद प्रदर्शित आकलन पूरे करें। तब गुणांक अद्वितीय होते हैं: $c_1 = \lim f/\varphi_1$, और आगमन से $c_{i+1} = \lim\,(f - \sum_{j \leq i}
c_j\varphi_j)/\varphi_{i+1}$।

**उदाहरण 6.3.**

टेलर प्रसार $a$ पर पैमाने $(x -
a)^k$ के अनुदिश [अनंतस्पर्शी प्रसार](#def-b2-comparison-expansion) ही हैं। परंतु यह धारणा यथार्थतः व्यापक है: $+\infty$ पर

$$
\frac{1}{x - \ln x}
= \frac1x \cdot \frac{1}{1 - \frac{\ln x}{x}}
= \frac1x + \frac{\ln x}{x^2} + o\Bigl(\frac{\ln x}{x^2}\Bigr),
$$

यह मिश्रित पैमाने पर प्रसार है — यहाँ कोई टेलर प्रमेय लागू नहीं होती, केवल गुणोत्तर प्रसार और $o$ का कलन।

**उदाहरण 6.4 (मानक पैमाना सचमुच क्रमित है).**

[परिभाषा 6.1](#def-b2-comparison-landau) के शब्दकोश-क्रम वाले दावे को हर स्थिति में एक पंक्ति की उपपत्ति चाहिए। $+\infty$ पर $x^{\alpha}(\ln x)^{\beta}$ और $x^{\alpha'}(\ln x)^{\beta'}$ की तुलना कीजिए। यदि $\alpha < \alpha'$: तो अनुपात $x^{\alpha - \alpha'}(\ln x)^{\beta - \beta'} \to 0$ है, क्योंकि $x$ की कोई ऋणात्मक घात $\ln x$ की किसी भी घात को कुचल देती है ($x =
\eu^t$ रखिए: प्रथम वर्ष के खंड की घातांकी-बनाम-बहुपद सीमा से $\eu^{(\alpha - \alpha')t}\,t^{\beta - \beta'} \to 0$)। और यदि $\alpha = \alpha'$ तथा $\beta < \beta'$: तो अनुपात सीधे $(\ln x)^{\beta - \beta'} \to 0$ है। अतः युग्म $(\alpha, \beta)$, शब्दकोश-क्रम में क्रमित, पैमाने को $o(\cdot)$ के द्वारा क्रमित कर देते हैं — और प्रतिस्थापन $x = \eu^t$ मिश्रित घात-लघुगणक तुलनाओं के लिए हर नाप में फिट होने वाली युक्ति है।

**उदाहरण 6.5 (एक चिड़ियाघर की क्रम-सूची).**

पैमाने *क्रमित* होने ही चाहिए; और यह रहा मानक अभ्यास। $+\infty$ पर $n^{10}$, $\eu^{\sqrt{\ln n}\,\cdot\,\sqrt n}$, $2^n$ और $n^{\ln n}$ की तुलना लघुगणक लेकर कीजिए:

$$
10\ln n
\;\ll\; (\ln n)^2
\;\ll\; \sqrt{n\ln n}
\;\ll\; n\ln 2 ,
$$

जहाँ $a_n \ll b_n$ का अर्थ $a_n = o(b_n)$ है; और दूसरी प्रविष्टि $\ln(n^{\ln n})$ है। घातांकी इन यथार्थ अंतरों को बनाए रखते हैं (यदि $\ln u_n - \ln v_n \to -\infty$ तो $u_n/v_n \to 0$), अतः

$$
n^{10} = o\bigl(n^{\ln n}\bigr),
\qquad
n^{\ln n} = o\bigl(\eu^{\sqrt{n\ln n}}\bigr),
\qquad
\eu^{\sqrt{n\ln n}} = o(2^n) .
$$

सार दो बार: सदा लघुगणकों के द्वारा तुलना कीजिए (लघुगणकों के अंतर से, न कि लघुगणकों के अनुपात से), और $\ln u_n \sim \ln v_n$ से $u_n \sim v_n$ कभी निष्कर्ष मत निकालिए — युग्म $n^{10}$ तथा $n^{\ln n}$ का $\ln$-अनुपात $\infty$ की ओर जाता है, परंतु $2^n$ और $4^n$ का $\ln$-अनुपात ठीक $2$ है और फिर भी वे अत्यंत असमतुल्य हैं।

## 6.2 श्रेणी–समाकल तुलना, अनंतस्पर्शी रूप में

**प्रमेय 6.6.**

मान लीजिए $f$ $\intco{1}{+\infty}$ पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity), धनात्मक और *ह्रासमान* है।

1. यदि $\int_1^{\infty} f$ अभिसरित हो, तो शेषपद पूरा करते हैं $$\int_{n+1}^{\infty} f \;\leq\; \sum_{k > n} f(k) \;\leq\;  \int_{n}^{\infty} f .$$
2. यदि $\int_1^\infty f$ अपसरित हो, तो आंशिक योग किसी अचर $C$ के लिए $\sum_{k=1}^{n} f(k) = \int_1^n f + C + o(1)$ पूरा करते हैं: अर्थात् अंतर $\sum_{k \leq n} f(k) -  \int_1^n f$ *अभिसरित* होता है।

**उपपत्ति.** कोष्ठकन $f(k+1) \leq \int_k^{k+1} f \leq f(k)$ (ह्रास से) प्रथम वर्ष की युक्ति थी; $k \geq n+1$ अथवा $k \geq n$ पर योग लेने से (1) मिल जाता है। (2) के लिए $u_k = f(k) - \int_k^{k+1} f$ रखिए: कोष्ठकन से $0 \leq u_k \leq f(k) - f(k+1)$, अतः $\sum u_k$ के आंशिक योग क्रमिक निरसन $f(1) - f(n+1) \leq
f(1)$ से परिबद्ध हैं: इसलिए श्रेणी अभिसरित होती है। इसके अतिरिक्त अनुक्रम $\bigl(\int_n^{n+1}
f\bigr)_n$ अवर्धमान ($f$ घटता है) और अऋणात्मक है, अतः अभिसारी। और

$$
\sum_{k=1}^{n} f(k) - \int_1^n f
= \sum_{k=1}^{n} u_k + \int_n^{n+1} f ,
$$

लिखने पर $n \to \infty$ होने पर दाहिना पक्ष अभिसरित होता है: अर्थात् अंतर किसी अचर $C$ पर अभिसरित होता है, जो कथन (2) है। ∎

**उदाहरण 6.7 (हरात्मक प्रसार).**

$f(t) = \frac1t$ के लिए: $H_n = \ln n + \gamma + o(1)$, जिससे ऑयलर अचर (प्रथम वर्ष का खंड) एक स्वच्छतर उपपत्ति के साथ पुनः मिल जाता है। एक कोटि और आगे बढ़ने पर ([अभ्यास 6.3](#exo-b2-comparison-3)):

$$
H_n = \ln n + \gamma + \frac{1}{2n} + o\Bigl(\frac1n\Bigr).
$$

$n = 10$ पर संख्याएँ लाभ को दिखा देती हैं: $H_{10} =
2.928968\dots$ और $\ln 10 = 2.302585\dots$, अतः $\gamma$ का कच्चा आकलन $H_{10} - \ln 10 = 0.626383$ है, जो $0.049$ की चूक है; और सुधार $\frac1{20}$ घटाने पर $0.576383$ मिलता है, जो $\gamma = 0.577216$ से केवल $8.3\cdot10^{-4}$ की चूक पर है — और वह स्वयं प्रसार का अगला पद $\frac{1}{12\cdot100}$ है, जैसा सप्ताहांत समस्या (प्रश्न 8) सिद्ध करती है।

**उदाहरण 6.8 (स्टर्लिंग के बिना एक कच्चा ln⁡(n!)\ln(n!)ln(n!)).**

अकेला कोष्ठकन यंत्र ही $\ln(n!)$ का पता लगा देता है। चूँकि $\ln$ बढ़ता है,

$$
\int_{k-1}^{k}\ln t\,\dd t \;\leq\; \ln k \;\leq\;
\int_{k}^{k+1}\ln t\,\dd t ,
$$

और $k = 2, \dots, n$ पर योग लेने से ($\int_1^n\ln = n\ln n
- n + 1$ के साथ):

$$
n\ln n - n + 1 \;\leq\; \ln(n!) \;\leq\; (n+1)\ln(n+1) - n .
$$

दोनों बाड़ें $n\ln n - n + O(\ln n)$ हैं: अतः $\ln(n!) = n\ln
n - n + O(\ln n)$, और विशेष रूप से $\ln(n!) \sim n\ln n$। स्टर्लिंग जो जोड़ता है वे अगली दो सीढ़ियाँ हैं — $\frac12\ln n$ और अचर $\ln\sqrt{2\pi}$ — और उनकी क़ीमत [प्रमेय 6.13](#thm-b2-comparison-stirling) का सूक्ष्मतर क्रमिक निरसन है। कौन-सा औज़ार कितनी परिशुद्धता ख़रीदता है, यह जानना अनंतस्पर्शी कारीगरी का आधा हिस्सा है।

**उदाहरण 6.9 (निरसन प्रसार माँगता है).**

$\sqrt{n^2 + n} - n$ की सीमा परिकलित कीजिए। दोनों पद $\sim n$ हैं, और “$\sim n - n$” निरर्थक है: समतुल्यों को घटाया नहीं जा सकता। इसके बदले प्रसार कीजिए:

$$
\sqrt{n^2 + n} - n
= n\Bigl(\sqrt{1 + \tfrac1n} - 1\Bigr)
= n\Bigl(\frac{1}{2n} - \frac{1}{8n^2} +
O\Bigl(\frac1{n^3}\Bigr)\Bigr)
= \frac12 - \frac{1}{8n} + O\Bigl(\frac1{n^2}\Bigr) :
$$

सीमा $\frac12$, और उपहार में पहुँचने की गति $\frac1{8n}$ भी। इस कार्यविधि का कोई नाम होना चाहिए: दो बड़ी समतुल्य राशियों का अंतर पूरा-का-पूरा उनके *अगले* पदों में रहता है, अतः उस पहली कोटि तक प्रसार करना पड़ता है जहाँ दोनों पक्ष भिन्न होते हैं — और शेषपद साथ ले चलना पड़ता है ताकि प्रमाणित हो सके कि उस कोटि पर और कुछ नहीं बचा।

**उदाहरण 6.10 (एक अपसारी तुलना, कर के दिखाई गई).**

$\intco{2}{+\infty}$ पर $f(t) = \frac{1}{t\ln t}$ के लिए (जो [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity), धनात्मक और ह्रासमान है): $\int_2^x f = \ln\ln x -
\ln\ln 2 \to \infty$, अतः [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) (2) से किसी अचर $C$ के लिए

$$
\sum_{k=2}^{n}\frac{1}{k\ln k} = \ln\ln n + C + o(1)
$$

दो सीख। पहली, अपसरण वास्तविक तो है पर हिमनद जितना धीमा: आंशिक योग $4$ से पहली बार $n
\approx \eu^{\eu^{4 - C}}$ के आसपास आगे निकलता है, जो खगोलीय रूप से बड़ा है। दूसरी, *आकार* $\ln\ln n$ किसी प्रतिअवकलज ने दिया, अनुमान से नहीं आया: एकदिष्ट पदों के लिए समाकल ही योग करने का विहित यंत्र है, और अचर $C$ — ऑयलर के $\gamma$ की तरह — आरंभिक पदों की स्मृति है।

## 6.3 स्टर्लिंग सूत्र

**प्रमेयिका 6.11 (वालिस समाकल, पुनरावलोकन).**

मान लीजिए $W_n = \int_0^{\pi/2} \sin^n t\,\dd t$। तब $n \geq 1$ के लिए $nW_nW_{n-1} =
\frac\pi2$, $(W_n)$ घटता है, और $W_n \sim
\sqrt{\dfrac{\pi}{2n}}$।

**उपपत्ति.** खंडशः समाकलन से $nW_n = (n-1)W_{n-2}$ मिलता है ($n \geq 2$), अतः $nW_nW_{n-1}$ $n$ में अचर है और $1 \cdot W_1 W_0 =
\frac\pi2$ के बराबर। ह्रास: $\intcc{0}{\frac\pi2}$ पर $\sin^{n+1} \leq \sin^n$। निचोड़, विस्तार से: एकदिष्टता से $W_{n+1} \leq W_n \leq W_{n-1}$ मिलता है, और $W_{n-1}
> 0$ से भाग देने पर

$$
\frac{n}{n+1} = \frac{W_{n+1}}{W_{n-1}} \leq
\frac{W_n}{W_{n-1}} \leq 1 ,
$$

जिसमें बाईं ओर की सर्वसमिका सूचकांक $n + 1$ पर पुनरावृत्ति से आती है। दोनों परिबंध $1$ की ओर जाते हैं: $W_n \sim W_{n-1}$, जिससे

$$
nW_n^2 \sim nW_nW_{n-1} = \frac\pi2
\qquad\Longrightarrow\qquad
W_n \sim \sqrt{\frac{\pi}{2n}} .
$$

∎

**उदाहरण 6.12 (पहले कुछ वालिस समाकल).**

$W_0 = \frac\pi2$, $W_1 = 1$ और पुनरावृत्ति $nW_n =
(n-1)W_{n-2}$ से:

$$
W_2 = \frac\pi4, \qquad
W_3 = \frac23, \qquad
W_4 = \frac{3\pi}{16}, \qquad
W_5 = \frac{8}{15}, \qquad
W_6 = \frac{5\pi}{32}.
$$

सम सूचकांक $\pi$ लिए चलते हैं, विषम परिमेय होते हैं — बंद रूपों के दो गुँथे हुए गुणनफल। संख्यात्मक रूप से $W_6
\approx 0.4909$ बनाम अनंतस्पर्शी $\sqrt{\pi/12} \approx 0.5116$: $n = 6$ पर समतुल्य पहले से ही $5\%$ के भीतर है, और गुणनफल सर्वसमिका हर $n$ पर यथार्थ है: $6\,W_6W_5 = 6\cdot\frac{5\pi}{32}\cdot\frac8{15} =
\frac\pi2$। ऐसी छोटी तालिकाएँ बीजगणित की चूक को अनंतस्पर्शी तर्क में फैलने से पहले पकड़ने का सबसे सस्ता उपाय हैं।

**प्रमेय 6.13 (स्टर्लिंग).**

$$
n! \;\sim\; \sqrt{2\pi n}\, \Bigl(\frac{n}{\eu}\Bigr)^{\!n}
.
$$

**उपपत्ति.** *चरण 1: किसी अचर $C >
0$ के लिए $n! \sim C \sqrt n\, (n/\eu)^n$।* रखिए

$$
d_n = \ln(n!) - \Bigl(n + \frac12\Bigr)\ln n + n .
$$

तब $\ln(1 + \frac1n)$ के टेलर प्रसार से

$$
d_n - d_{n+1}
= \Bigl(n + \frac12\Bigr) \ln\frac{n+1}{n} - 1
= \Bigl(n + \frac12\Bigr)\Bigl(\frac1n - \frac{1}{2n^2} +
\frac{1}{3n^3} + o\bigl(n^{-3}\bigr)\Bigr) - 1
= \frac{1}{12n^2} + o\Bigl(\frac{1}{n^2}\Bigr),
$$

अतः श्रेणी $\sum (d_n
- d_{n+1})$ निरपेक्ष रूप से अभिसरित होती है ($\sum
n^{-2}$ से तुलना), इसलिए $(d_n)$ अभिसरित होता है, मान लीजिए $d$ पर; और घातांकी लेने पर $C = \eu^{d}$ सहित $n! \sim
C\sqrt n\,(n/\eu)^n$।

*चरण 2: वालिस के द्वारा $C = \sqrt{2\pi}$।* बंद रूप $W_{2p}
= \frac{(2p)!}{4^p (p!)^2}\cdot\frac\pi2$ (पुनरावृत्ति से, प्रथम वर्ष का परिकलन [प्रमेयिका 6.11](#lem-b2-comparison-wallis) के परिवेश में दोहराया गया) चरण 1 के साथ मिलकर देता है:

$$
W_{2p} \sim \frac{C\sqrt{2p}\,(2p/\eu)^{2p}}
{4^p\,\bigl(C\sqrt p\,(p/\eu)^p\bigr)^2}\cdot\frac{\pi}{2}
= \frac{\sqrt{2p}}{C\,p}\cdot\frac{\pi}{2}
= \frac{\pi}{C}\cdot\frac{1}{\sqrt{2p}} .
$$

$W_{2p} \sim \sqrt{\frac{\pi}{4p}}$ से तुलना करने पर ([प्रमेयिका 6.11](#lem-b2-comparison-wallis)): $\frac{\pi}{C\sqrt{2p}} =
\sqrt{\frac{\pi}{4p}}\,(1 + o(1))$ $C = \pi
\sqrt{\frac{4p}{2p\,\pi}} = \sqrt{2\pi}$ को बाध्य कर देता है। ∎

**उदाहरण 6.14 (केंद्रीय द्विपद गुणांक).**

$$
\binom{2n}{n} = \frac{(2n)!}{(n!)^2}
\sim \frac{\sqrt{4\pi n}\,(2n/\eu)^{2n}}{2\pi n\,(n/\eu)^{2n}}
= \frac{4^n}{\sqrt{\pi n}} :
$$

अर्थात् किसी सममित यादृच्छिक पथ के समय $2n$ पर $0$ लौट आने की प्रायिकता $\sim \frac{1}{\sqrt{\pi n}}$ है — और यह [अध्याय 22](https://one-course.com/books/math/4/hi/chapter/22-discrete-random-variables#ch-b2-randomvar) की पूर्वघोषणा है।

**टिप्पणी 6.15 (इसी खंड के भीतर के परिप्रेक्ष्य).**

आगे का हर परिमाणात्मक अध्याय इसी अध्याय की भाषा बोलता है। [अध्याय 7](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#ch-b2-series) श्रेणियों को पदों की पैमाने $n^{-\alpha}(\ln n)^{-\beta}$ से तुलना करके वर्गीकृत करता है — और उसकी सप्ताहांत समस्या उस सीमांत का पूरा मानचित्र बना देती है। [अध्याय 9](https://one-course.com/books/math/4/hi/chapter/9-integration#ch-b2-integration) अनुचित समाकलों के लिए वही करता है, [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) चर में उसी पैमाने के साथ। [अध्याय 11](https://one-course.com/books/math/4/hi/chapter/11-power-series#ch-b2-powerseries) $\limsup\abs{a_n}^{1/n}$ से अभिसरण त्रिज्याएँ परिकलित करता है, जो $n$-वें मूलों के समतुल्य का अभ्यास है और जहाँ स्टर्लिंग मानक कुंजी है ($\sqrt[n]{n!}
\sim \frac n\eu$, [अभ्यास 6.4](#exo-b2-comparison-4))। और प्रायिकता के अध्याय स्टर्लिंग को सीधे भुना लेते हैं: द्विपद गुणांकों के लिए [अध्याय 22](https://one-course.com/books/math/4/hi/chapter/22-discrete-random-variables#ch-b2-randomvar) के स्थानीय आकलन अक्षरशः [उदाहरण 6.14](#ex-b2-comparison-centralbinomial) और [उदाहरण 6.21](#ex-b2-comparison-lopsided) हैं। यहाँ अनंतस्पर्शिता कोई एक अध्याय नहीं है; वह पूरे खंड का लहजा है।

**विधि 6.16 (क्रमिक परिष्करण की जाँच-सूची).**

किसी परिष्कृत प्रसार पर भरोसा करने से पहले चार बिंदुओं की जाँच कीजिए। (1) *पहले अस्तित्व:* किसी भी प्रसार से पहले मूल या अनुक्रम को पक्का कर लीजिए (एकदिष्टता, मध्यमान प्रमेय) — बिना निर्देश्य के प्रतीक बहुत सुंदर प्रसार देते हैं और कुछ भी अर्थ नहीं रखते। (2) *एक चक्कर में एक ही कोटि:* हर प्रतिस्थापन पर उतना ही भरोसा किया जा सकता है जितनी कोटि का आकलन डाला गया था; एक ही चक्कर से दो नए पद निकालना ग़लत गुणांकों का क्लासिक स्रोत है। (3) *शेषपद साथ चलते हैं:* हर बीजगणितीय पग में $o(\cdot)$ साथ ले चलिए और अवशोषण (बड़े शेषपदों में छोटे पदों का समा जाना) अंत में, स्पष्ट रूप से होने दीजिए। (4) *संख्यात्मक जाँच:* $n$ के किसी एक ईमानदार मान पर मूल्यांकन कीजिए; गुणांक की भूल बीजगणितीय पुनर्व्युत्पत्ति में आश्चर्यजनक रूप से अक्सर बच निकलती है, और अंकगणित में लगभग कभी नहीं।

**टिप्पणी 6.17 (सामान्य भूलें).**

(क) समतुल्य *जोड़ने* में बुरे हैं: $u_n \sim n + \ln n$ और $v_n \sim -n$ से $u_n + v_n \sim \ln
n$ निष्कर्ष *नहीं* निकाला जा सकता; निरसन स्पष्ट शेषपदों वाले प्रसार माँगते हैं, नंगे समतुल्य कभी नहीं। (ख) किसी समतुल्यता का घातांकी कभी मत लीजिए: $n + 1 \sim n$ परंतु $\eu^{n+1} \not\sim \eu^n$; सुरक्षित दिशा $+\infty$ की ओर जाने वाले समतुल्यों का लघुगणक लेना है (इस अध्याय की सप्ताहांत समस्या, प्रश्न 24)। (ग) [अनंतस्पर्शी प्रसार](#def-b2-comparison-expansion) किसी *पैमाने* से जुड़ा होता है: $f = \frac1x + o\bigl(\frac1{x^2}\bigr)$ लिखना $f =
\frac1x + o\bigl(\frac1x\bigr)$ से अधिक दावा करता है, और दोनों को मिला देने से आगे का बीजगणित अमान्य हो जाता है। (घ) क्रमिक परिष्करण में शेषपद सहित *पूरा* वर्तमान प्रसार प्रतिस्थापित कीजिए — बीच में कोई $o(\cdot)$ गिरा देने से विश्वसनीय दिखने वाले पर ग़लत गुणांक निकलते हैं। (ङ) श्रेणी–समाकल तुलना को एकदिष्टता चाहिए: दोलनशील पदों के लिए वह सीधे विफल हो जाती है ($\sum\frac{\sin k}k$, [अध्याय 7](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#ch-b2-series) की तुलना कीजिए)।

**उदाहरण 6.18 (संख्याओं में स्टर्लिंग).**

$n = 10$ पर: सूत्र $\sqrt{20\pi}\,(10/\eu)^{10}
\approx 3\,598\,696$ देता है जबकि $10! = 3\,628\,800$: अर्थात् सापेक्ष त्रुटि $8.3\cdot10^{-3}$, जो $n = 10$ पर किसी “अनंतस्पर्शी” कथन के लिए उल्लेखनीय है। इस त्रुटि की एक संरचना है — यथार्थ परिष्करण $n!
= \sqrt{2\pi n}\,(n/\eu)^n\bigl(1 + \frac1{12n} +
O(n^{-2})\bigr)$ — जिसका पहला सुधार $\frac1{120} \approx
8.3\cdot10^{-3}$ देखी गई खाई को लगभग ठीक-ठीक समझा देता है। सप्ताहांत समस्या का ऑयलर–मैक्लॉरिन यंत्र ठीक ऐसे ही सुधार-पदों का क्रमबद्ध स्रोत है।

**टिप्पणी 6.19 (यह अध्याय कहाँ काम आता है).**

अनंतस्पर्शी तुलना आगे की हर परिमाणात्मक बात का व्याकरण है: [अध्याय 7](https://one-course.com/books/math/4/hi/chapter/7-sequences-and-series#ch-b2-series) की अभिसरण-जाँचें और बर्ट्रांड परिदृश्य, [अध्याय 9](https://one-course.com/books/math/4/hi/chapter/9-integration#ch-b2-integration) की समाकलनीयता कसौटियाँ, [अध्याय 11](https://one-course.com/books/math/4/hi/chapter/11-power-series#ch-b2-powerseries) के अभिसरण-त्रिज्या परिकलन, और [अध्याय 22](https://one-course.com/books/math/4/hi/chapter/22-discrete-random-variables#ch-b2-randomvar) की सीमा प्रमेयें (जहाँ स्टर्लिंग डी म्वाव्र–लाप्लास आकलन चलाता है)। तृतीय वर्ष का खंड जिस एक विचार को हम यहाँ हाथ से सिद्ध करते हैं — मुख्य पद निकालिए, शेष को परिबद्ध कीजिए — उसी को लाप्लास विधि और प्रभावी अभिसरण में औद्योगिक रूप दे देता है।

**उदाहरण 6.20 (अपने ही से तुलना किया गया एक समाकल: ∫2x ⁣dtln⁡t\int_2^x \frac{\dd t}{\ln t}∫2x​lntdt​).**

तुलना का औज़ार-बक्सा समाकलों पर भी चलता है। मान लीजिए $F(x) =
\int_2^x\frac{\dd t}{\ln t}$ (समाकल्य $\intco2\infty$ पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है)। खंडशः समाकलन कीजिए:

$$
F(x) = \Bigl[\frac{t}{\ln t}\Bigr]_2^x +
\int_2^x\frac{\dd t}{(\ln t)^2}
= \frac{x}{\ln x} + O\Bigl(\int_2^x\frac{\dd t}{(\ln
t)^2}\Bigr) + O(1),
$$

और शेष समाकल $o\bigl(\frac{x}{\ln x}\bigr)$ है: उसे $\sqrt x$ पर बाँटिए और

$$
\int_2^{\sqrt x}\frac{\dd t}{(\ln t)^2} \leq \sqrt x
\qquad\text{तथा}\qquad
\int_{\sqrt x}^{x}\frac{\dd t}{(\ln t)^2} \leq
\frac{x}{(\ln\sqrt x)^2} = \frac{4x}{(\ln x)^2} .
$$

से परिबद्ध कीजिए। अतः $F(x) \sim \frac{x}{\ln x}$। जिन पाठकों ने इस अध्याय की सप्ताहांत समस्या में अभाज्य संख्या प्रमेय देखी है वे $F$ को पहचान लेंगे: यह लघुगणकीय समाकल है, $\pi(x)$ का बेहतर आकलक, और यह परिकलन दिखा देता है कि वह $\frac{x}{\ln x}$ से प्रथम कोटि तक सहमत है।

**उदाहरण 6.21 (किसी असंतुलित द्विपद पर स्टर्लिंग).**

वही तीन-क्रमगुणित वाली विधि, जो [उदाहरण 6.14](#ex-b2-comparison-centralbinomial) के लिए थी, $\binom{3n}{n} = \frac{(3n)!}{n!\,(2n)!}$ के लिए देती है:

$$
\binom{3n}{n} \sim
\frac{\sqrt{6\pi n}\,(3n/\eu)^{3n}}
{\sqrt{2\pi n}\,(n/\eu)^{n}\cdot\sqrt{4\pi n}\,(2n/\eu)^{2n}}
= \sqrt{\frac{3}{4\pi n}}\,
\Bigl(\frac{27}{4}\Bigr)^{\!n} .
$$

घातांकी दर $\frac{27}4 = \frac{3^3}{2^2}$ सूचना सिद्धांत की एन्ट्रॉपी संकेतन में $\eu^{3n\,H(1/3)}$ है: असंतुलित द्विपद केंद्रीय $4^n$ प्रति दो पग से यथार्थतः धीमे बढ़ते हैं — यहाँ $(27/4)^{1/3} \approx 1.89 < 2$ प्रति पग। संचय और प्रायिकता की हर द्विपद अनंतस्पर्शिता ([अध्याय 22](https://one-course.com/books/math/4/hi/chapter/22-discrete-random-variables#ch-b2-randomvar)) यही एक परिकलन है, बस भार भिन्न होते हैं।

## 6.4 अंतर्निहित रूप से परिभाषित अनुक्रम

**विधि 6.22.**

किसी समीकरण $F(x, n) =
0$ के हलों $x_n$ की अनंतस्पर्शिता ज्ञात करने के लिए:

1. *स्थानीयकरण* : किसी निश्चित अंतराल में $x_n$ के अस्तित्व और अद्वितीयता को सिद्ध कीजिए (एकदिष्टता, मध्यमान प्रमेय), और उसका कच्चा व्यवहार ज्ञात कीजिए (सीमा, वृद्धि की कोटि)।
2. *क्रमिक परिष्करण* : कच्चे रूप $x_n = (\text{मुख्य  पद})(1 + \varepsilon_n)$ को समीकरण में प्रतिस्थापित कीजिए और $\varepsilon_n$ की अगली कोटि के लिए हल कीजिए; और इसे दोहराइए, हर चक्कर में एक कोटि परिष्कृत होती है।

**उदाहरण 6.23.**

$n \geq 1$ के लिए समीकरण $\tan x = x$ का $\intoo{n\pi - \frac\pi2}{n\pi + \frac\pi2}$ में ठीक एक हल $x_n$ है (वहाँ फलन $\tan x - x$ $-\infty$ से $+\infty$ तक बढ़ता है, क्योंकि उसका अवकलज $\tan^2 x \geq 0$ है)। *कच्चा:* $y_n \in \intoo{0}{\pi}$ के साथ $x_n = n\pi +
\frac\pi2 - y_n$; और चूँकि $x_n \to
\infty$ तथा $\tan x_n = x_n \to +\infty$, $x_n$ अनंतस्पर्शी रेखा तक बाईं ओर से पहुँचता है: $y_n \to 0$। *परिष्करण:* $\tan x_n =
\cot y_n = \frac{1}{\tan y_n} \sim \frac{1}{y_n}$, और समीकरण $\cot y_n = x_n \sim n\pi$ $y_n \sim \frac{1}{n\pi}$ देता है। अतः

$$
x_n = n\pi + \frac\pi2 - \frac{1}{n\pi} +
o\Bigl(\frac1n\Bigr),
$$

और यह प्रक्रिया किसी भी कोटि तक चलती रहती है ([अभ्यास 6.6](#exo-b2-comparison-6))।

**उदाहरण 6.24 (विधि का दूसरा चक्कर).**

$x + \ln x = n$ को अनंतस्पर्शी रूप से हल कीजिए। *स्थानीयकरण:* $x
\mapsto x + \ln x$ $\intoo{0}{+\infty}$ पर $-\infty$ से $+\infty$ तक बढ़ता है: अतः अद्वितीय मूल $x_n$, और $x_n \to \infty$। *कच्चा:* $\ln x_n = o(x_n)$ से $x_n \sim n$ मिलता है। *परिष्करण:* $x_n = n - \ln x_n$ और $\ln x_n = \ln n
+ o(1)$ से (समतुल्यों के लघुगणक, दोनों पक्ष $\to \infty$):

$$
x_n = n - \ln n + o(1) ;
$$

एक चक्कर और, $\ln x_n = \ln\bigl(n - \ln n + o(1)\bigr) =
\ln n - \frac{\ln n}{n} + o\bigl(\frac{\ln n}n\bigr)$ के साथ:

$$
x_n = n - \ln n + \frac{\ln n}{n} +
o\Bigl(\frac{\ln n}{n}\Bigr).
$$

($n = 100$ पर जाँच: मूल $x \approx 95.4415$ है; तीन-पद सूत्र $100 - 4.6052 + 0.0461 = 95.4409$ देता है और दो-पद वाला $95.3948$ — हर चक्कर पूर्वानुमानित कोटि जीतता है।) वही [चक्र](https://one-course.com/books/math/4/hi/chapter/1-sets-and-structures#def-b2-structures-sn), तीसरा परिदृश्य: [विधि 6.22](#met-b2-comparison-implicit) की विधि को इससे कोई मतलब नहीं कि समीकरण कैसा दिखता है, केवल यह चाहिए कि हर चक्कर प्रमुख अज्ञात को अलग कर दे।

## 6.5 अभ्यास

**अभ्यास 6.1 ★.**

$+\infty$ पर, अग्र पद से दो पद आगे तक प्रसार कीजिए:

$$
\sqrt{x^2 + x + 1} ,
\qquad
\ln(x^2 + x) - 2\ln x,
\qquad
\frac{x + \sin x}{x - \ln x} .
$$

**हल — अभ्यास 6.1.**

$\sqrt{x^2 + x + 1} = x\sqrt{1 + \tfrac1x + \tfrac{1}{x^2}} = x +
\frac12 + \frac38\cdot\frac1x + o\bigl(\frac1x\bigr)$ (द्विपद प्रसार: $u = \frac1x +
\frac{1}{x^2}$ के साथ $\frac12 u - \frac18 u^2$ $\frac{1}{2x} + \frac{1}{2x^2} -
\frac{1}{8x^2} = \frac{1}{2x} + \frac{3}{8x^2}$ देता है, फिर $x$ से गुणा कीजिए)।

$\ln(x^2 + x) - 2\ln x = \ln\bigl(1 + \tfrac1x\bigr) = \frac1x -
\frac{1}{2x^2} + o\bigl(\frac{1}{x^2}\bigr)$.

तीसरा फलन: हर गुणनखंड का प्रसार कीजिए,

$$
\frac{x + \sin x}{x - \ln x}
= \Bigl(1 + \frac{\sin x}{x}\Bigr)
\Bigl(1 + \frac{\ln x}{x} + \frac{(\ln x)^2}{x^2} +
O\Bigl(\frac{(\ln x)^3}{x^3}\Bigr)\Bigr).
$$

$+\infty$ पर पैमाने के अनुसार योगदानों को क्रमित कीजिए: $\frac{\ln x}{x}
\gg \frac{1}{x} \geq \bigl|\frac{\sin x}{x}\bigr| \gg \frac{(\ln
x)^2}{x^2}$। अतः अग्र पद $1$ के बाद के दो पद $\frac{\ln x}{x}$ हैं, और फिर परिबद्ध-दोलन वाला पद $\frac{\sin
x}{x}$:

$$
\frac{x + \sin x}{x - \ln x}
= 1 + \frac{\ln x}{x} + \frac{\sin x}{x}
+ O\Bigl(\frac{(\ln x)^2}{x^2}\Bigr).
$$

**अभ्यास 6.2 ★.**

[प्रमेय 6.6](#thm-b2-comparison-seriesintegral) के द्वारा $\alpha >
-1$, $\alpha = -1$, $\alpha < -1$ के लिए $\sum_{k \leq n} k^\alpha$ की प्रकृति (अभिसरण/अपसरण) दीजिए, और अपसारी होने पर अग्र अनंतस्पर्शिता भी।

**हल — अभ्यास 6.2.**

$f(t) = t^\alpha$ ($t \geq 1$).

$\alpha > -1$: अपसरण, और [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) (2) से $\alpha <
0$ होने पर $\sum_{k\leq n}
k^\alpha = \frac{n^{\alpha+1}}{\alpha+1} + C + o(1)$ (जहाँ $f$ घटता है); तथा $\alpha \geq 0$ के लिए ($f$ बढ़ता है) उलटी असमिकाओं वाला वही कोष्ठकन $\sum_{k \leq n}
k^\alpha \sim \frac{n^{\alpha + 1}}{\alpha + 1}$ देता है।

$\alpha = -1$: $H_n = \ln n + \gamma + o(1)$ ([उदाहरण 6.7](#ex-b2-comparison-harmonic)).

$\alpha < -1$: अभिसरण, जिसका शेषपद कोष्ठकन (1) से $\sum_{k > n} k^\alpha
\sim \frac{n^{\alpha+1}}{-(\alpha+1)}$ है (दोनों समाकल-परिबंध उसी मान के समतुल्य हैं)।

**अभ्यास 6.3 ★★.**

सिद्ध कीजिए कि $H_n = \ln n + \gamma + \frac{1}{2n} + o\bigl(\frac1n\bigr)$। *($v_n = H_n - \ln n - \gamma$ का अध्ययन कीजिए: दिखाइए कि $v_n - v_{n+1} =
\frac{1}{2n^2} + O(n^{-3})$ और फिर पुच्छ का योग लीजिए, $\sum_{k \geq n} \frac{1}{2k^2} \sim \frac{1}{2n}$ से तुलना करते हुए — [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) (1)।)*

**हल — अभ्यास 6.3.**

मान लीजिए $v_n = H_n - \ln n - \gamma \to 0$। तब $\frac{1}{n+1} = \frac1n - \frac{1}{n^2} + O(n^{-3})$ का उपयोग करके

$$
v_n - v_{n+1} = \ln\frac{n+1}{n} - \frac{1}{n+1}
= \Bigl(\frac1n - \frac{1}{2n^2}\Bigr) - \Bigl(\frac1n -
\frac{1}{n^2}\Bigr) + O\Bigl(\frac{1}{n^3}\Bigr)
= \frac{1}{2n^2} + O\Bigl(\frac{1}{n^3}\Bigr),
$$

और चूँकि $v_n \to 0$, पुच्छ का क्रमिक निरसन करने पर

$$
v_n = \sum_{k \geq n} (v_k - v_{k+1})
= \sum_{k\geq n} \Bigl(\frac{1}{2k^2} + O(k^{-3})\Bigr)
= \frac{1}{2n} + O\Bigl(\frac{1}{n^2}\Bigr),
$$

जिसमें [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) (1) $t^{-2}$ (शेषपद $\sim \frac1n$, आधा) तथा $t^{-3}$ पर लगाया गया। अतः $H_n =
\ln n + \gamma + \frac{1}{2n} + o(\frac1n)$।

**अभ्यास 6.4 ★★.**

स्टर्लिंग का उपयोग करके इनके समतुल्य ज्ञात कीजिए: $\dfrac{(3n)!}{(n!)^3}$; $\;\dfrac{n!}{n^n}$; $\;\sqrt[n]{n!}$ ($\frac n\eu(1 + o(1))$ होने पर, दो पदों तक परिशुद्ध)।

**हल — अभ्यास 6.4.**

स्टर्लिंग तीन बार:

$$
\frac{(3n)!}{(n!)^3}
\sim \frac{\sqrt{6\pi n}\,(3n/\eu)^{3n}}
{(2\pi n)^{3/2}\,(n/\eu)^{3n}}
= \frac{\sqrt{6}\; 27^{\,n}}{2\pi n} \cdot
\frac{1}{\sqrt{2\pi n}}\cdot\sqrt{2\pi n}\;
= \frac{\sqrt3\,27^n}{2\pi n} .
$$

(ध्यान से: $\frac{\sqrt{6\pi n}}{(2\pi n)^{3/2}} =
\frac{\sqrt6}{(2\pi n)\sqrt{2\pi n}}\sqrt{\pi n} =
\frac{\sqrt3}{2\pi n}$।)

$\dfrac{n!}{n^n} \sim \sqrt{2\pi n}\,\eu^{-n}$.

$\ln n! = n\ln
n - n + \frac12\ln(2\pi n) + o(1)$ के साथ $\sqrt[n]{n!} = \exp\bigl(\frac{\ln n!}{n}\bigr)$:

$$
\sqrt[n]{n!} = \exp\Bigl(\ln n - 1 + \frac{\ln(2\pi n)}{2n} +
o\Bigl(\frac{\ln n}{n}\Bigr)\Bigr)
= \frac{n}{\eu}\Bigl(1 + \frac{\ln(2\pi n)}{2n} +
o\Bigl(\frac{\ln n}{n}\Bigr)\Bigr).
$$

**अभ्यास 6.5 ★★.**

$n \geq 2$ के लिए सिद्ध कीजिए कि $x^n + x = 1$ का अद्वितीय हल $x_n
\in \intoo{0}{1}$ है, कि $x_n \to 1$, और स्थापित कीजिए

$$
x_n = 1 - \frac{\ln n}{n} + o\Bigl(\frac{\ln n}{n}\Bigr).
$$

*($x_n^n = 1 - x_n$ से: लघुगणक लीजिए और $x_n = 1 - \varepsilon_n$ के साथ क्रमिक परिष्करण कीजिए।)*

**हल — अभ्यास 6.5.**

$g(x) = x^n + x - 1$ $\intcc{0}{1}$ पर $-1$ से $1$ तक यथार्थतः बढ़ता है: अतः अद्वितीय मूल $x_n$। और चूँकि $x_n^n = 1 - x_n \in
\intoo{0}{1}$: यदि किसी उपअनुक्रम पर $x_n \leq c < 1$ हो, तो $x_n^n
\leq c^n \to 0$, अतः $1 - x_n \to 0$: जो $x_n \leq
c$ के विरुद्ध है। इसलिए $x_n \to 1$।

$x_n = 1 - \varepsilon_n$, $\varepsilon_n \to 0^+$ लिखिए। समीकरण $(1 - \varepsilon_n)^n = \varepsilon_n$ पढ़ा जाता है, अर्थात्

$$
n\ln(1 - \varepsilon_n) = \ln \varepsilon_n
\quad\Longrightarrow\quad
-n\varepsilon_n\bigl(1 + o(1)\bigr) = \ln\varepsilon_n .
$$

अतः $n\varepsilon_n = -\ln\varepsilon_n\,(1 + o(1)) \to +\infty$, और फिर से लघुगणक लेने पर: $\ln n + \ln\varepsilon_n =
\ln(-\ln\varepsilon_n) + o(1)$। चूँकि $\ln(-\ln \varepsilon_n) =
o(\ln(1/\varepsilon_n))$, इससे $\ln\varepsilon_n \sim -\ln
n$ मिलता है, जिससे $\varepsilon_n = \frac{-\ln\varepsilon_n}{n}(1 + o(1))
\sim \frac{\ln n}{n}$:

$$
x_n = 1 - \frac{\ln n}{n} + o\Bigl(\frac{\ln n}{n}\Bigr) .
$$

**अभ्यास 6.6 ★★.**

[उदाहरण 6.23](#ex-b2-comparison-tan) को एक कोटि और आगे बढ़ाइए:

$$
x_n = n\pi + \frac\pi2 - \frac{1}{n\pi} + \frac{1}{2n^2\pi} +
o\Bigl(\frac{1}{n^2}\Bigr).
$$

*($\cot y_n = x_n$ यथार्थ रूप से लिखिए, $\cot y = \frac1y -
\frac y3 + o(y)$ और $x_n = n\pi(1 + \frac{1}{2n} - \dots)$ का प्रसार कीजिए, और पहचानिए।)*

**हल — अभ्यास 6.6.**

यथार्थ संबंध: $\cot y_n = x_n = n\pi + \frac\pi2 - y_n$, जहाँ $y_n
\sim \frac{1}{n\pi}$ ([उदाहरण 6.23](#ex-b2-comparison-tan))। $\cot y
= \frac1y - \frac y3 + O(y^3)$ का प्रसार कीजिए:

$$
\frac{1}{y_n} - \frac{y_n}{3} + O(y_n^3) = n\pi + \frac\pi2 - y_n
\quad\Longrightarrow\quad
\frac{1}{y_n} = n\pi + \frac\pi2 + O\Bigl(\frac1n\Bigr),
$$

(पद $-y_n$ और $-\frac{y_n}{3}$ $O(\frac1n)$ हैं)। प्रतिलोमन कीजिए:

$$
y_n = \frac{1}{n\pi}\cdot\frac{1}{1 + \frac{1}{2n} + O(n^{-2})}
= \frac{1}{n\pi}\Bigl(1 - \frac{1}{2n} + O\Bigl(\frac{1}{n^2}\Bigr)\Bigr)
= \frac{1}{n\pi} - \frac{1}{2n^2\pi} + O\Bigl(\frac{1}{n^3}\Bigr).
$$

अतः

$$
x_n = n\pi + \frac{\pi}{2} - y_n
= n\pi + \frac\pi2 - \frac{1}{n\pi} + \frac{1}{2n^2\pi} +
o\Bigl(\frac{1}{n^2}\Bigr).
$$

**अभ्यास 6.7 ★★.**

$\lim_{n\to\infty} \dfrac{1}{n!}\sum_{k=0}^{n} k!$ निर्धारित कीजिए *(अंतिम दो को छोड़कर सभी पदों के योग को परिबद्ध कीजिए)*, और इससे [अनंतस्पर्शी प्रसार](#def-b2-comparison-expansion) $\sum_{k \leq n} k! = n!\bigl(1 + \frac1n +
O(n^{-2})\bigr)$ निष्कर्ष रूप में निकालिए।

**हल — अभ्यास 6.7.**

दो सबसे बड़े पद अलग कीजिए:

$$
\sum_{k=0}^{n} k! = n! + (n-1)! + \sum_{k \leq n-2} k! ,
\qquad
\sum_{k\leq n-2} k! \leq (n-1)\,(n-2)! = (n-1)! .
$$

अतः $1 \leq \frac{1}{n!}\sum k! \leq 1 + \frac{2}{n}$: सीमा $1$ है। परिष्कार: $\frac{(n-1)!}{n!} = \frac1n$, और कच्चा परिबंध $\sum_{k \leq n-2}k! \leq (n-1)!$ उसी ढंग से तीखा किया जा सकता है: $\sum_{k\leq n-2} k! = (n-2)!\,(1 + O(\frac1n)) = O\bigl(\frac{n!}{n^2}\bigr)$। इसलिए

$$
\sum_{k=0}^{n} k! = n!\Bigl(1 + \frac1n + O\Bigl(\frac{1}{n^2}\Bigr)\Bigr).
$$

**अभ्यास 6.8 ★★★.**

मान लीजिए $u_0 > 0$ और $u_{n+1} = u_n + \dfrac{1}{u_n}$। सिद्ध कीजिए कि $u_n
\to \infty$, फिर कि $u_n \sim \sqrt{2n}$ *($u_n^2$ का अध्ययन कीजिए: उसकी वृद्धियाँ $2 + u_n^{-2}$ हैं; योग लीजिए)*, और परिष्कृत कीजिए:

$$
u_n = \sqrt{2n}\Bigl(1 + \frac{\ln n}{8n} +
o\Bigl(\frac{\ln n}{n}\Bigr)\Bigr).
$$

*($u_n^2 = 2n + \sum_{k<n} u_k^{-2} + u_0^2$ और $u_k^2
\sim 2k$ से: [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) के अनुसार योग $\sim \frac12\ln n$ है।)*

**हल — अभ्यास 6.8.**

$(u_n)$ बढ़ता है; यदि परिबद्ध होता तो $\ell = \ell + \frac1\ell$ वाले $\ell$ पर अभिसरित होता: जो असंगत है। अतः $u_n \to \infty$।

वर्ग: $u_{n+1}^2 = u_n^2 + 2 + u_n^{-2}$, अतः

$$
u_n^2 = u_0^2 + 2n + \sum_{k=0}^{n-1} \frac{1}{u_k^2} .
$$

यह योग $o(n)$ है (पद $0$ की ओर जाते हैं, चेज़ारो), अतः $u_n^2 \sim 2n$ और $u_n \sim \sqrt{2n}$।

परिष्कार: $\frac{1}{u_k^2} \sim \frac{1}{2k}$, अतः तुलना से ([प्रमेय 6.6](#thm-b2-comparison-seriesintegral), अथवा धनात्मक श्रेणियों के आंशिक योगों के समतुल्य) $\sum_{k<n} u_k^{-2} \sim \frac12 \ln n$। इसलिए

$$
u_n^2 = 2n + \frac{\ln n}{2}\,(1 + o(1)) + O(1)
\quad\Longrightarrow\quad
u_n = \sqrt{2n}\sqrt{1 + \frac{\ln n}{4n} + o\Bigl(\frac{\ln
n}{n}\Bigr)}
= \sqrt{2n}\Bigl(1 + \frac{\ln n}{8n} + o\Bigl(\frac{\ln
n}{n}\Bigr)\Bigr).
$$

**अभ्यास 6.9 ★★★.**

(एक मरोड़ वाला रीमान योग) निम्नलिखित का अनंतस्पर्शी व्यवहार निर्धारित कीजिए

$$
S_n = \sum_{k=1}^{n} \frac{1}{n + k\ln n} .
$$

*($n$ बाहर निकालिए: $S_n = \frac1n\sum_k \bigl(1 +
\frac{k\ln n}{n}\bigr)^{-1}$; धीरे बदलते प्राचल $t = \ln n$ वाले रीमान-प्रकार के योग को पहचानिए, $\int_0^1
\frac{\dd u}{1 + tu} = \frac{\ln(1+t)}{t}$ परिकलित कीजिए, और $S_n \sim
\frac{\ln\ln n}{\ln n}$ निष्कर्ष निकालिए।)*

**हल — अभ्यास 6.9.**

$n$ बाहर निकालिए और $t = \ln n$ रखिए:

$$
S_n = \frac1n \sum_{k=1}^{n} \frac{1}{1 + t\,\frac kn} .
$$

स्थिर $t$ के लिए यह योग $\intcc{0}{1}$ पर $u \mapsto \frac{1}{1 +
tu}$ का रीमान योग है; और फलन $u$ में एकदिष्ट है, अतः रीमान योग एक जाल-चौड़ाई खिसके हुए समाकल से कोष्ठकित हो जाता है:

$$
\int_0^1 \frac{\dd u}{1 + tu} - \frac1n
\leq S_n \leq \int_0^1 \frac{\dd u}{1 + tu} + \frac1n
$$

(किसी एकदिष्ट फलन के रीमान योगों की उसके समाकल से तुलना, जो हर $n$ के लिए अपने $t = \ln n$ के साथ मान्य है)। अब $\int_0^1 \frac{\dd u}{1 + tu} = \frac{\ln(1 + t)}{t}$, और $\frac1n = o\bigl(\frac{\ln t}{t}\bigr)$: अतः

$$
S_n = \frac{\ln(1 + \ln n)}{\ln n} + O\Bigl(\frac 1n\Bigr)
\;\sim\; \frac{\ln\ln n}{\ln n} .
$$

**अभ्यास 6.10 ★.**

सर्वसमिका $(\ln n)^{\ln n} = n^{\ln\ln n}$ सिद्ध कीजिए, फिर निम्नलिखित को अनंत पर बढ़ते $o(\cdot)$ क्रम में उपपत्ति सहित सजाइए: $n^2$, $(\ln n)^{\ln n}$, $2^n$, $n!$, $n^n$।

**हल — अभ्यास 6.10.**

सर्वसमिका: $(\ln n)^{\ln n} = \eu^{\ln n\,\ln\ln n} =
\bigl(\eu^{\ln n}\bigr)^{\ln\ln n} = n^{\ln\ln n}$। क्रम-सूची: लघुगणकों की तुलना कीजिए। $\ln(n^2) = 2\ln n$; $\ln\bigl((\ln
n)^{\ln n}\bigr) = \ln n\ln\ln n$; $\ln(2^n) = n\ln2$; $\ln(n!) = n\ln n - n + O(\ln n)$ (स्टर्लिंग, अथवा कच्चा कोष्ठकन $\ln n! \sim n\ln n$); $\ln(n^n) = n\ln n$। चूँकि $2\ln n = o(\ln n\ln\ln n)$, $\ln n\ln\ln n = o(n)$, $n\ln 2 =
o(n\ln n - n)$, और $n \ln n - n \sim n\ln n$ परंतु $n! / n^n \to
0$ (लघुगणकों का अंतर $-n + O(\ln n) \to -\infty$ है):

$$
n^2 = o\bigl((\ln n)^{\ln n}\bigr),\quad
(\ln n)^{\ln n} = o(2^n),\quad
2^n = o(n!),\quad
n! = o(n^n).
$$

(हर पग के लिए: लघुगणकों का अंतर $+\infty$ की ओर जाता है, अतः अनुपात $0$ की ओर।)

**अभ्यास 6.11 ★★.**

($\sum 1/k^2$ की पुच्छ, दो पद) यथार्थ क्रमिक निरसन $\sum_{k > n} \frac{1}{k(k+1)} = \frac{1}{n+1}$ और अपघटन $\frac1{k^2} = \frac{1}{k(k+1)} +
\frac{1}{k^2(k+1)}$ का उपयोग करके सिद्ध कीजिए

$$
\sum_{k > n} \frac{1}{k^2}
= \frac1n - \frac{1}{2n^2} + O\Bigl(\frac{1}{n^3}\Bigr).
$$

**हल — अभ्यास 6.11.**

$\frac1{k^2} = \frac1{k(k+1)} + \frac1{k^2(k+1)}$ का अपघटन कीजिए और $k > n$ के लिए योग लीजिए:

$$
\sum_{k>n}\frac1{k^2} = \frac1{n+1} +
\sum_{k>n}\frac{1}{k^2(k+1)} ,
$$

जिसमें पहला योग ठीक-ठीक क्रमिक निरसन कर देता है ($\frac1{k(k+1)} = \frac1k -
\frac1{k+1}$)। दूसरे के लिए: $\frac{1}{k^2(k+1)} = \frac1{k^3}
+ O\bigl(\frac1{k^4}\bigr)$ ($\frac{1}{k^2(k+1)} -
\frac1{k^3} = \frac{-1}{k^3(k+1)}$ के कारण), और समाकल-तुलना से $\sum_{k>n}\frac1{k^3} = \frac1{2n^2} +
O\bigl(\frac1{n^3}\bigr)$, $\sum_{k>n}\frac1{k^4} =
O\bigl(\frac1{n^3}\bigr)$। अतः $\frac1{n+1} = \frac1n - \frac1{n^2} +
O\bigl(\frac1{n^3}\bigr)$ का उपयोग करके

$$
\sum_{k>n}\frac1{k^2}
= \frac1{n+1} + \frac{1}{2n^2} + O\Bigl(\frac1{n^3}\Bigr)
= \frac1n - \frac1{n^2} + \frac{1}{2n^2} +
O\Bigl(\frac1{n^3}\Bigr)
= \frac1n - \frac{1}{2n^2} + O\Bigl(\frac1{n^3}\Bigr),
$$

**अभ्यास 6.12 ★★★.**

मान लीजिए $u_0 = \frac12$ और $u_{n+1} = u_n + \eu^{-u_n}$। सिद्ध कीजिए कि $u_n \to \infty$, फिर — $v_n = \eu^{u_n}$ रखकर और $v_{n+1} = v_n + 1 + \frac{1}{2v_n} + O\bigl(v_n^{-2}\bigr)$ दिखाकर — स्थापित कीजिए

$$
u_n = \ln n + \frac{\ln n}{2n} + O\Bigl(\frac1n\Bigr).
$$

**हल — अभ्यास 6.12.**

$(u_n)$ बढ़ता है; यदि वह परिबद्ध होता तो $\ell = \ell + \eu^{-\ell}$ वाले किसी परिमित $\ell$ पर अभिसरित होता: जो असंभव है। अतः $u_n \to \infty$। $v_n = \eu^{u_n} \to \infty$ लीजिए: तब

$$
v_{n+1} = \eu^{u_n + \eu^{-u_n}} = v_n\,\eu^{1/v_n}
= v_n\Bigl(1 + \frac1{v_n} + \frac1{2v_n^2} +
O\bigl(v_n^{-3}\bigr)\Bigr)
= v_n + 1 + \frac{1}{2v_n} + O\bigl(v_n^{-2}\bigr).
$$

पहले $v_{k+1} - v_k = 1 + O(1)$ पर योग लेने से $v_n = n +
O(n)$ मिलता है, अतः अंततः $v_n \geq cn$; और $\frac1{2v_k} = O(\frac1k)$ के साथ फिर से योग लेने पर $v_n = n + O(\ln n)$ मिलता है। एक चक्कर और: $\frac{1}{2v_k} = \frac{1}{2k}\bigl(1 +
O\bigl(\tfrac{\ln k}k\bigr)\bigr)$, अतः

$$
v_n = n + \sum_{k<n}\frac1{2k} + O(1) = n + \frac{\ln n}2 +
O(1).
$$

अंत में $u_n = \ln v_n = \ln n + \ln\Bigl(1 + \frac{\ln n}{2n} +
O\bigl(\tfrac1n\bigr)\Bigr) = \ln n + \frac{\ln n}{2n} +
O\bigl(\tfrac1n\bigr)$।

## 6.6 समस्या: क्रमिक परिष्करण, ऑयलर–मैक्लॉरिन से अभाज्यों तक

कोई अंतर्निहित या संचित राशि अपनी अनंतस्पर्शिता एक ही बार में शायद ही सौंपती है; उसे चक्करों में निकालना पड़ता है, और हर चक्कर पिछले आकलन को परिभाषित करने वाले संबंध में वापस डाल देता है। यह सप्ताहांत समस्या उस [चक्र](https://one-course.com/books/math/4/hi/chapter/1-sets-and-structures#def-b2-structures-sn) को नए समीकरणों पर प्रशिक्षित करती है, प्रथम कोटि का *ऑयलर–मैक्लॉरिन सूत्र* सिद्ध करती है (श्रेणी–समाकल तुलना का समलंब संस्करण, कठोर त्रुटि-पट्टियों के साथ), $x\ln x = n$ को प्रतिलोमित करती है, और विधि का सबसे प्रसिद्ध चेक भुनाती है: स्वीकृत अभाज्य संख्या प्रमेय से $n$-वें अभाज्य का अनंतस्पर्शी नियम $p_n \sim n\ln n$।

**समस्या 6.1.**

सप्ताहांत समस्या — ऑयलर–मैक्लॉरिन सुधार और $n$-वें अभाज्य की अनंतस्पर्शिता

**भाग I — एक नए समीकरण पर परिष्करण-चक्र।**

1. [परिभाषा 6.2](#def-b2-comparison-expansion) का अद्वितीयता वाला दावा सिद्ध कीजिए: यदि उसी पैमाने पर $f = \sum_{i\leq  k} c_i\varphi_i + o(\varphi_k) = \sum_{i \leq k}  c_i'\varphi_i + o(\varphi_k)$, तो सभी $i$ के लिए $c_i = c_i'$। फिर पाठ के मिश्रित उदाहरण को एक सीढ़ी और ऊपर ले जाइए: $$\frac{1}{x - \ln x} = \frac1x + \frac{\ln x}{x^2} +  \frac{(\ln x)^2}{x^3} + o\Bigl(\frac{(\ln  x)^2}{x^3}\Bigr) \qquad (x \to +\infty),$$ और समझाइए कि कोई पद $\frac{c}{x^2}$ क्यों नहीं आता।
2. दिखाइए कि प्रत्येक $n \geq 1$ के लिए समीकरण $\eu^x + x =  n$ का ठीक एक वास्तविक हल $x_n$ है, और यह कि $x_n \sim \ln n$ के साथ $x_n  \to +\infty$ ।
3. दो बार क्रमिक परिष्करण कीजिए: $$x_n = \ln n - \frac{\ln n}{n} - \frac{(\ln n)^2}{2n^2} +  o\Bigl(\frac{(\ln n)^2}{n^2}\Bigr).$$
4. $n = 1000$ पर संख्यात्मक जाँच कीजिए: $x_{1000}  \approx 6.90083$ की तुलना प्रश्न 3 के एक-, दो- और तीन-पद वाले मानों से पाँच दशमलव स्थानों तक कीजिए।

**भाग II — ऑयलर–मैक्लॉरिन, प्रथम कोटि।**

5. समलंब कर्नेल सर्वसमिका सिद्ध कीजिए: $\intcc{0}{1}$ पर $C^2$ वर्ग के $g$ के लिए $$\int_0^1 g(t)\,\dd t = \frac{g(0) + g(1)}{2}  - \frac12\int_0^1 t(1 - t)\,g''(t)\,\dd t$$ *($\frac12 t(1-t)g''$ का दो बार खंडशः समाकलन कीजिए)*।
6. मान लीजिए $f$ $\intco{1}{+\infty}$ पर $C^2$ है और $\int_1^\infty \abs{f''} < \infty$। दिखाइए कि $$E_n = \sum_{k=1}^{n} f(k) - \int_1^n f -  \frac{f(1) + f(n)}{2}$$ किसी अचर $E$ पर अभिसरित होता है, और पुच्छ-परिबंध $\abs{E - E_n} \leq \frac18\int_n^\infty\abs{f''}$ के साथ: यही प्रथम कोटि तक *ऑयलर–मैक्लॉरिन सूत्र* है।
7. इसे $f(t) = \frac1t$ पर लगाइए: सिद्ध कीजिए $$H_n = \ln n + \gamma + \frac{1}{2n} + \varepsilon_n,  \qquad \abs{\varepsilon_n} \leq \frac{1}{8n^2},$$ जिससे [अभ्यास 6.3](#exo-b2-comparison-3) और मज़बूत हो जाता है (अचर को [उदाहरण 6.7](#ex-b2-comparison-harmonic) से तुलना करके $\gamma$ के साथ पहचानिए)।
8. अगला गुणांक निकालिए: दिखाइए कि $\varepsilon_n =  -\frac{1}{12n^2} + o\bigl(\frac1{n^2}\bigr)$ *($E_n$ की वृद्धियाँ $\frac12\int_0^1t(1-t)f''(n+t)\dd t =  \frac1{12}f''(n) + o(f''(n))$ हैं; [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) के साथ पुच्छ का योग लीजिए)* ।
9. प्रश्न 6 को $f = \ln$ पर लगाइए: तीन पंक्तियों में $d_n = \ln n! - (n +  \frac12)\ln n + n$ का अभिसरण (अर्थात् [प्रमेय 6.13](#thm-b2-comparison-stirling) का चरण 1) पुनः निकालिए, और उपहार में त्रुटि-दर $d_n = d + O\bigl(\frac1n\bigr)$ भी।
10. प्रश्न 6 को $f(t) = \frac{1}{\sqrt t}$ पर लगाइए: दिखाइए कि किसी अचर $c$ के लिए $$\sum_{k=1}^{n}\frac1{\sqrt k} = 2\sqrt n + c +  \frac{1}{2\sqrt n} + O\Bigl(\frac{1}{n^{3/2}}\Bigr)$$ और $n =  10^4$ पर सभी पदों का मूल्यांकन कीजिए (अचर $c \approx -1.4604$ है)।

**भाग III — प्रतिलोमन: समीकरण $x\ln x =
n$।**

11. दिखाइए कि $n \geq 1$ के लिए $x\ln x = n$ का ठीक एक हल $x_n \in  \intco{1}{+\infty}$ है, कि $x_n \to  \infty$ , और कि $\ln x_n \sim \ln n$ ।
12. एक-पद प्रतिलोमन $x_n \sim  \dfrac{n}{\ln n}$ निष्कर्ष रूप में निकालिए, फिर एक बार और क्रमिक परिष्करण कीजिए: $$\ln x_n = \ln n - \ln\ln n + o(1),  \qquad  x_n = \frac{n}{\ln n}\Bigl(1 + \frac{\ln\ln n}{\ln n}  + o\Bigl(\frac{\ln\ln n}{\ln n}\Bigr)\Bigr).$$
13. $n = 10^6$ पर जाँचिए: सच्चा मूल $x \approx  87\,848$ है; एक-पद ( $\approx 72\,382$ ) और दो-पद ( $\approx 86\,140$ ) मानों से तुलना कीजिए, और धीमे लाभ का कारण समझाइए (प्रसार-प्राचल $\frac{\ln\ln  n}{\ln n}$ है, जो $n = 10^6$ पर केवल $\approx 0.19$ है)।
14. अब हम अभाज्य संख्या प्रमेय *स्वीकार* कर लेते हैं: $\leq x$ तक के अभाज्यों की संख्या $\pi(x)$ $x \to \infty$ होने पर $\pi(x) \sim  \frac{x}{\ln x}$ पूरा करती है (तृतीय वर्ष के खंड में ईमानदारी से सिद्ध)। $n$-वें अभाज्य के लिए $p_n$ लिखते हुए $\pi(p_n) = n$ को न्यायोचित ठहराइए, और प्रश्न 11–12 का प्रतिलोमन चलाकर सिद्ध कीजिए $$p_n \sim n \ln n .$$
15. लाभ: (क) दिखाइए कि $\sum_{k \leq n} p_k \sim  \frac{n^2\ln n}{2}$ *($\sum k\ln k$ की $\int t\ln t\,\dd t$ से तुलना कीजिए)* ; (ख) $100$ अंकों वाले किसी एकसमान यादृच्छिक पूर्णांक के अभाज्य होने की लगभग संभावना परिकलित कीजिए ( $\ln 10^{100} \approx 230.26$ : लगभग $230$ में एक)।

**भाग IV — विधि का निर्यात: $x\tan x =
1$।**

16. दिखाइए कि प्रत्येक $n \geq 1$ के लिए समीकरण $\tan x =  \frac1x$ का $\intoo{n\pi}{\,n\pi + \frac\pi2}$ में ठीक एक हल $x_n$ है, और यह कि $z_n = x_n  - n\pi \to 0^+$ ।
17. एक पद: $z_n \sim \dfrac{1}{n\pi}$ ।
18. दिखाइए कि $z_n$ के प्रसार में कोई $\frac{c}{n^2}$ पद *नहीं* है: $z_n = \frac1{n\pi} +  O\bigl(\frac{1}{n^3}\bigr)$ ।
19. तीन पद: $\arctan u = u - \frac{u^3}3 +  O(u^5)$ और $\frac1{x_n} = \frac{1}{n\pi} -  \frac{z_n}{(n\pi)^2} + O(n^{-3}\cdot z_n^2)$ का उपयोग करके सिद्ध कीजिए $$x_n = n\pi + \frac{1}{n\pi} -  \frac{4}{3\pi^3 n^3} + o\Bigl(\frac{1}{n^3}\Bigr).$$
20. $n = 3$ पर जाँचिए: सच्चा मूल $x_3 \approx 9.5293344$ ; एक-पद और तीन-पद मानों की तुलना कीजिए, और एक वाक्य में पाठ के $\tan x = x$ ( [उदाहरण 6.23](#ex-b2-comparison-tan) ) से अंतर बताइए: हर अनुक्रम अपनी खिड़की में कहाँ बैठता है, और क्यों।

**भाग V — एक गतिक परिष्करण, खेल के नियम, संश्लेषण।**

21. मान लीजिए $u_0 \in \intoo{0}{\pi}$ और $u_{n+1} = \sin u_n$ । दिखाइए कि $u_n \to 0$ ह्रासमान रूप से, और $\dfrac{1}{u_{n+1}^2} - \dfrac{1}{u_n^2}$ की सीमा परिकलित कीजिए *($\sin u = u - \frac{u^3}6 + o(u^3)$ के द्वारा $\sin^{-2}$ का प्रसार कीजिए)* ।
22. इससे चेज़ारो माध्यों (प्रथम वर्ष का खंड) के द्वारा क्लासिक परिणाम निष्कर्ष रूप में निकालिए $$u_n \sim \sqrt{\frac{3}{n}} .$$
23. (प्रमाणित संख्यात्मकी) प्रश्न 7 के कठोर परिबंध का उपयोग करके दिखाइए कि $n  = 10^6$ पर $\ln n + \gamma + \frac1{2n}$ का मूल्यांकन $H_{10^6}$ देता है जिसमें त्रुटि अधिकतम $1.25\cdot10^{-13}$ है — अर्थात् दस लाख पदों का योग तीन पदों से तेरह अंकों तक परिकलित।
24. (खेल के नियम) उपपत्ति अथवा प्रतिउदाहरण के साथ सिद्ध या खंडित कीजिए: (क) यदि $u_n \sim v_n \to +\infty$ तो $\ln u_n \sim \ln v_n$ ; (ख) यदि $u_n \sim v_n$ तो $\eu^{u_n} \sim \eu^{v_n}$ ; (ग) यदि $+\infty$ पर $f \sim g$ हो ( $f, g$ अवकलनीय) तो $f' \sim g'$ ।
25. (संश्लेषण) एक-एक वाक्य में: भाग I, III, IV में प्रयुक्त [विधि 6.22](#met-b2-comparison-implicit) का परिष्करण-चक्र; समलंब सुधार [प्रमेय 6.6](#thm-b2-comparison-seriesintegral) में क्या जोड़ता है; $x\ln x$ का प्रतिलोमन ठीक क्यों $\pi(x)$ से $p_n$ तक का पुल है; और प्रश्न 24 के किस नियम ने किस पग की रक्षा की। दोनों शिखर नाम लीजिए: ऑयलर–मैक्लॉरिन सूत्र (प्रथम कोटि), और $n$ -वें अभाज्य का अनंतस्पर्शी नियम।

**हल — समस्या 6.1.**

**1.** दोनों प्रसार घटाने पर: $\sum_i (c_i -
c_i')\varphi_i = o(\varphi_k)$। यदि कोई गुणांक भिन्न हो, तो पहला ऐसा $i_0$ लीजिए: $\varphi_{i_0}$ से भाग देकर और $j > i_0$ के लिए $\varphi_j = o(\varphi_{i_0})$ का उपयोग करके $c_{i_0} -
c_{i_0}' = o(1)$ मिलता है: अर्थात् शून्य, जो विरोधाभास है। और प्रसार के लिए: $u = \frac{\ln x}x \to 0$ के साथ

$$
\frac{1}{x - \ln x} = \frac1x\cdot\frac{1}{1 - u}
= \frac1x\bigl(1 + u + u^2 + O(u^3)\bigr)
= \frac1x + \frac{\ln x}{x^2} + \frac{(\ln x)^2}{x^3} +
o\Bigl(\frac{(\ln x)^2}{x^3}\Bigr).
$$

कोई $\frac c{x^2}$ पद इसलिए नहीं आता कि प्रसार $u = \frac{\ln x}{x}$ में गुणोत्तर श्रेणी है: हर पद पहले के आगे $\ln x$ की उतनी ही घातें लिए चलता है जितनी $\frac1x$ की; अतः पैमाने की सीढ़ी $\frac1{x^2}$ ($(\ln x)^0$ का गुणांक) बस अनुपस्थित है, गुणांक $0$ के साथ।

**2.** $f(x) = \eu^x + x$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) है, यथार्थतः वर्धमान, जिसकी सीमाएँ $-\infty$ और $+\infty$ हैं: अर्थात् एकैकी आच्छादक प्रतिचित्रण $\R \to \R$, अतः $x_n = f^{-1}(n)$ विद्यमान और अद्वितीय है, और $x_n \to +\infty$ ($f^{-1}$ $+\infty$ तक बढ़ता है)। $\eu^{x_n} = n - x_n$ से: $x_n = \ln(n - x_n) \leq \ln n$, अतः $x_n/n \to 0$ और $x_n = \ln n + \ln(1 - x_n/n) = \ln n + o(1)
\sim \ln n$।

**3.** $u_n = x_n/n$ लिखिए। दूसरा चक्कर: $u_n = \frac{\ln n
+ o(1)}{n}$, अतः

$$
x_n = \ln n + \ln(1 - u_n) = \ln n - u_n + O(u_n^2)
= \ln n - \frac{\ln n}{n} + o\Bigl(\frac{\ln n}n\Bigr).
$$

तीसरा चक्कर: अब $u_n = \frac{\ln n}{n} - \frac{\ln n}{n^2} +
o\bigl(\frac{\ln n}{n^2}\bigr)$, और $\ln(1 - u_n) = -u_n -
\frac{u_n^2}2 + O(u_n^3)$:

$$
x_n = \ln n - \frac{\ln n}n + \frac{\ln n}{n^2}
- \frac{(\ln n)^2}{2n^2} + o\Bigl(\frac{(\ln
n)^2}{n^2}\Bigr)
= \ln n - \frac{\ln n}{n} - \frac{(\ln n)^2}{2n^2} +
o\Bigl(\frac{(\ln n)^2}{n^2}\Bigr),
$$

जिसमें पद $\frac{\ln n}{n^2}$ $o\bigl(\frac{(\ln n)^2}{n^2}\bigr)$ में समा जाता है।

**4.** $n = 1000$ पर: $\ln 1000 \approx 6.90776$ (त्रुटि $7\cdot10^{-3}$); दो पद: $6.90085$ (त्रुटि $2\cdot10^{-5}$); तीन पद: $6.90082$ (त्रुटि $10^{-5}$ से कम), जबकि $x_{1000} \approx 6.90083$। हर चक्कर लगभग पूर्वानुमानित गुणक $\frac{\ln n}{n}$ ख़रीदता है।

**5.** दाईं ओर से आरंभ करके दो बार खंडशः समाकलन: $\frac{\dd}{\dd t}\bigl[\tfrac12t(1-t)\bigr] = \tfrac12 -
t$ और दोनों सिरों पर लुप्त होने वाले $t(1-t)$ के साथ,

$$
\frac12\int_0^1 t(1-t)g''(t)\dd t
= -\int_0^1\Bigl(\frac12 - t\Bigr)g'(t)\dd t
= -\Bigl[\Bigl(\frac12 - t\Bigr)g\Bigr]_0^1 - \int_0^1 g
= \frac{g(0) + g(1)}2 - \int_0^1 g .
$$

इसे पुनर्व्यवस्थित करने पर यही कथित सर्वसमिका है।

**6.** वृद्धि परिकलित कीजिए, फिर $g(t) = f(n + t)$ पर प्रश्न 5 लगाइए:

$$
\begin{align*}
E_{n+1} - E_n
&= f(n{+}1) - \int_n^{n+1}\!f - \frac{f(n{+}1) - f(n)}2 \\
&= \frac{f(n) + f(n{+}1)}2 - \int_n^{n+1}\!f
= \frac12\int_0^1 t(1-t)f''(n+t)\dd t .
\end{align*}
$$

चूँकि $0 \leq t(1-t) \leq \frac14$: $\abs{E_{n+1} - E_n} \leq
\frac18\int_n^{n+1}\abs{f''}$, जिसका $n$ पर योग परिकल्पना से अभिसरित होता है: अतः $(E_n)$ अभिसरित होता है (निरपेक्ष रूप से योग्य वृद्धियाँ) किसी $E$ पर, जहाँ

$$
\abs{E - E_n} \leq \sum_{k\geq n}\abs{E_{k+1} - E_k} \leq
\frac18\int_n^\infty\abs{f''} .
$$

**7.** $f(t) = \frac1t$: $f''(t) = \frac2{t^3}$, $\int_1^\infty\abs{f''} = 1 < \infty$। प्रश्न 6:

$$
H_n = \ln n + \frac{1 + \frac1n}{2} + E + (E_n - E)
= \ln n + \Bigl(E + \frac12\Bigr) + \frac1{2n} +
\varepsilon_n,
$$

जहाँ $\abs{\varepsilon_n} = \abs{E_n - E} \leq
\frac18\int_n^\infty\frac{2\dd t}{t^3} = \frac1{8n^2}$। $H_n = \ln n + \gamma + o(1)$ से तुलना करने पर ([उदाहरण 6.7](#ex-b2-comparison-harmonic)) $E + \frac12 =
\gamma$ पहचाना जाता है।

**8.** प्रश्न 6 के वृद्धि-सूत्र से,

$$
\varepsilon_n = E_n - E = -\sum_{k\geq n}\frac12\int_0^1
t(1-t)\,\frac{2\,\dd t}{(k+t)^3}
= -\sum_{k \geq n}\Bigl(\frac1{k^3}\int_0^1t(1-t)\dd t +
O\Bigl(\frac1{k^4}\Bigr)\Bigr),
$$

जिसमें $t \in \intcc01$ के लिए एकसमान रूप से $\frac{1}{(k+t)^3} = \frac1{k^3} +
O\bigl(\frac1{k^4}\bigr)$ का उपयोग हुआ। $\int_0^1 t(1-t) = \frac16$ और $\sum_{k\geq n}\frac1{k^3} \sim \frac{1}{2n^2}$ के साथ ([प्रमेय 6.6](#thm-b2-comparison-seriesintegral)):

$$
\varepsilon_n = -\frac16\cdot\frac{1}{2n^2} +
o\Bigl(\frac1{n^2}\Bigr) = -\frac{1}{12n^2} +
o\Bigl(\frac{1}{n^2}\Bigr).
$$

**9.** $f = \ln$: $f''(t) = -\frac1{t^2}$, जो निरपेक्ष रूप से समाकलनीय है। प्रश्न 6 देता है

$$
\ln n! = \int_1^n\ln t\,\dd t + \frac{\ln n}2 + E + O\Bigl(
\frac1{8}\int_n^\infty\frac{\dd t}{t^2}\Bigr)
= \Bigl(n + \frac12\Bigr)\ln n - n + 1 + E +
O\Bigl(\frac1n\Bigr),
$$

अतः $d_n = 1 + E + O\bigl(\frac1n\bigr)$: अर्थात् $(d_n)$ का अभिसरण — [प्रमेय 6.13](#thm-b2-comparison-stirling) का चरण 1 — और साथ में दर $O(1/n)$। (सीमा का स्टर्लिंग वाला मान $E =
\ln\sqrt{2\pi} - 1$ देता है।)

**10.** $f(t) = t^{-1/2}$: $f''(t) = \frac34 t^{-5/2}$, जो निरपेक्ष रूप से समाकलनीय है। प्रश्न 6:

$$
\sum_{k=1}^n \frac1{\sqrt k}
= 2\sqrt n - 2 + \frac{1 + \frac1{\sqrt n}}2 + E +
O\bigl(n^{-3/2}\bigr)
= 2\sqrt n + c + \frac{1}{2\sqrt n} +
O\bigl(n^{-3/2}\bigr),
$$

जहाँ $c = E - \frac32$। $n = 10^4$ पर: $2\sqrt n = 200$, $c
\approx -1.46035$, $\frac1{2\sqrt n} = 0.005$: पूर्वानुमान $198.54465$, और वास्तव में $\sum_{k\leq10^4}k^{-1/2} =
198.544645\dots$ — तीन पद, सात अंक।

**11.** $t \mapsto t\ln t$ $\intco1\infty$ पर [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) और यथार्थतः वर्धमान है (अवकलज $\ln t + 1 \geq 1$), $0$ से $+\infty$ तक: अतः अद्वितीय $x_n$ विद्यमान है, और $x_n \to
\infty$ (अन्यथा $x_n\ln x_n$ परिबद्ध बना रहता)। $x_n\ln x_n = n$ में लघुगणक लेने पर: $\ln x_n + \ln\ln x_n = \ln n$; और चूँकि $\ln\ln x_n = o(\ln x_n)$, $\ln x_n$ से भाग देने पर $\frac{\ln n}{\ln x_n} \to 1$: $\ln x_n \sim \ln n$।

**12.** $x_n = \frac{n}{\ln x_n}$ और $\ln x_n \sim
\ln n$ से: $x_n \sim \frac{n}{\ln n}$। अगला चक्कर: $\ln\ln x_n =
\ln\bigl(\ln n\,(1 + o(1))\bigr) = \ln\ln n + o(1)$, अतः $\ln
x_n = \ln n - \ln\ln n + o(1)$ और

$$
x_n = \frac{n}{\ln n - \ln\ln n + o(1)}
= \frac{n}{\ln n}\cdot\frac{1}{1 - \frac{\ln\ln n +
o(1)}{\ln n}}
= \frac{n}{\ln n}\Bigl(1 + \frac{\ln\ln n}{\ln n} +
o\Bigl(\frac{\ln\ln n}{\ln n}\Bigr)\Bigr).
$$

**13.** $n = 10^6$ पर: $\frac{n}{\ln n} \approx 72\,382$ ($18\%$ की चूक), दो पद $\approx 86\,140$ देते हैं ($1.9\%$ की चूक), जबकि सच्चा मान $x \approx 87\,848$ है। प्रति चक्कर लाभ केवल गुणक $\frac{\ln\ln n}{\ln n} \approx
\frac{2.63}{13.8} \approx 0.19$ है: लघुगणकीय पैमाने पागल कर देने वाली सुस्ती से अभिसरित होते हैं — और जहाँ भी अभाज्य आते हैं वहाँ यह जीवन का सत्य है।

**14.** $\leq p_n$ तक ठीक $n$ अभाज्य हैं (अर्थात् $p_1, \dots, p_n$): $\pi(p_n) = n$। अभाज्य संख्या प्रमेय (स्वीकृत; तृतीय वर्ष का खंड) $n = \pi(p_n) \sim
\frac{p_n}{\ln p_n}$ देती है, अर्थात् $p_n \sim n\ln p_n$: और यह समीकरण $x\ln x \approx n$ को उलटा पढ़ना ही है। लघुगणक लेने पर: $\ln p_n = \ln n + \ln\ln p_n + o(1)$, और $\ln\ln p_n =
o(\ln p_n)$ प्रश्न 11 की तरह $\ln p_n \sim \ln n$ को बाध्य कर देता है। वापस प्रतिस्थापित करने पर:

$$
p_n \sim n\ln p_n = n\,\ln n\,\frac{\ln p_n}{\ln n} \sim n\ln
n .
$$

**15.** (क) $\varepsilon > 0$ स्थिर कीजिए; बड़े $k$ के लिए $(1 -
\varepsilon)k\ln k \leq p_k \leq (1 + \varepsilon)k\ln k$। वर्धमान $t\ln t$ से तुलना करने पर ([प्रमेय 6.6](#thm-b2-comparison-seriesintegral)-प्रकार का कोष्ठकन) $\sum_{k\leq n}k\ln k = \int_1^n t\ln t\,\dd t + O(n\ln n) =
\frac{n^2\ln n}2 - \frac{n^2}4 + O(n\ln n) \sim
\frac{n^2\ln n}2$। अतः प्रत्येक $\varepsilon$ के लिए $\sum_{k\leq n}p_k = \frac{n^2\ln
n}{2}(1 + O(\varepsilon) + o(1))$: $\sum_{k\leq n}p_k \sim \frac{n^2\ln n}2$। (ख) अभाज्य संख्या प्रमेय से $10^{100}$ तक के पूर्णांकों में $\sim \frac{1}{\ln 10^{100}} = \frac1{230.26\dots}$ अनुपात अभाज्य हैं: अतः $100$ अंकों वाला कोई एकसमान यादृच्छिक पूर्णांक लगभग $\frac1{230}$ प्रायिकता से अभाज्य होता है।

**16.** $\intoo{n\pi}{n\pi + \frac\pi2}$ पर $g(x) = \tan
x - \frac1x$ [संतत](https://one-course.com/books/math/4/hi/chapter/4-topology-of-metric-spaces#def-b2-metric-continuity) और यथार्थतः वर्धमान है ($g' = 1 +
\tan^2x + \frac1{x^2} > 0$), बाएँ सिरे पर $g \to -\frac1{n\pi} < 0$ और दाएँ पर $g \to +\infty$: अतः ठीक एक मूल $x_n$। और $z_n \in \intoo{0}{\frac\pi2}$ के साथ $\tan z_n = \tan x_n = \frac1{x_n} \to 0$ होने से: $z_n \to 0^+$।

**17.** $\tan z_n \sim z_n$ और $\frac1{x_n} \sim
\frac1{n\pi}$: $z_n \sim \frac1{n\pi}$।

**18.** $z_n = \arctan\frac1{x_n}$ और $\arctan u = u +
O(u^3)$। $z_n = O(\frac1n)$ के साथ:

$$
\frac1{x_n} = \frac{1}{n\pi}\cdot\frac1{1 + \frac{z_n}{n\pi}}
= \frac1{n\pi} - \frac{z_n}{n^2\pi^2} +
O\Bigl(\frac1{n^4}\Bigr)
= \frac1{n\pi} + O\Bigl(\frac1{n^3}\Bigr),
$$

अतः $z_n = \frac1{n\pi} + O\bigl(\frac1{n^3}\bigr)$: सीढ़ी $\frac{c}{n^2}$ का गुणांक $0$ है, क्योंकि $\frac1{x_n}$ का पहला सुधार स्वयं $\frac{z_n}{n^2} = O(n^{-3})$ आकार का है।

**19.** पिछले प्रदर्शन में $z_n = \frac1{n\pi} + O(n^{-3})$ डालिए:

$$
\frac{1}{x_n} = \frac{1}{n\pi} - \frac{1}{n^3\pi^3} +
O\Bigl(\frac1{n^5}\Bigr),
$$

फिर $z_n = \arctan\frac1{x_n} = \frac1{x_n} -
\frac{1}{3}\Bigl(\frac1{x_n}\Bigr)^3 + O\Bigl(\frac1{n^5}\Bigr)
= \frac1{n\pi} - \frac{1}{n^3\pi^3} - \frac{1}{3n^3\pi^3} +
O\Bigl(\frac1{n^5}\Bigr)$:

$$
x_n = n\pi + \frac{1}{n\pi} - \frac{4}{3\pi^3n^3} +
O\Bigl(\frac1{n^5}\Bigr).
$$

**20.** $n = 3$ पर: एक पद $9.53088$, तीन पद $9.52929$, सच्चा मूल $9.52933$: अर्थात् त्रुटियाँ $1.5\cdot10^{-3}$ और $5\cdot10^{-5}$। अंतर: $\tan x = x$ के लिए मूल को $\tan$ बहुत बड़ा बनाना पड़ता है, अतः वह खिड़की के *दाएँ* सिरे $n\pi +
\frac\pi2$ से चिपक जाता है, अनंतस्पर्शी रेखा से $\sim\frac1{n\pi}$ पहले; और $x\tan x = 1$ के लिए मूल को $\tan$ बहुत छोटा बनाना पड़ता है, अतः वह *बाएँ* सिरे $n\pi$ से ठीक आगे बैठता है, शून्य से $\sim\frac1{n\pi}$ बाद। वही विधि, दर्पण जैसा भूगोल।

**21.** $\intoo0\pi$ पर $\sin u < u$ और $\sin$ $\intoo0\pi$ को $\intoc01 \subseteq \intoo0\pi$ में भेजता है: एक पग के बाद $u_1 \in \intoc{0}{1}$, फिर $(u_n)$ घटता है और नीचे से $0$ से परिबद्ध है: अतः वह $\sin$ के किसी अचल बिंदु पर अभिसरित होता है, अर्थात् $0$ पर। प्रसार: $\sin u = u(1 - \frac{u^2}6 +
o(u^2))$, अतः

$$
\frac{1}{u_{n+1}^2} - \frac1{u_n^2}
= \frac{1}{u_n^2}\Bigl(\bigl(1 - \tfrac{u_n^2}6 +
o(u_n^2)\bigr)^{-2} - 1\Bigr)
= \frac{1}{u_n^2}\Bigl(\frac{u_n^2}{3} + o(u_n^2)\Bigr)
\longrightarrow \frac13 .
$$

**22.** चेज़ारो (प्रथम वर्ष का खंड) से वृद्धियों का माध्य उसी सीमा पर अभिसरित होता है:

$$
\frac{1}{n}\cdot\frac{1}{u_n^2}
= \frac1n\Bigl(\frac1{u_0^2} + \sum_{k=0}^{n-1}
\Bigl(\frac1{u_{k+1}^2} - \frac1{u_k^2}\Bigr)\Bigr)
\longrightarrow \frac13 ,
$$

अतः $u_n^2 \sim \frac3n$, और सारे पद धनात्मक होने से $u_n
\sim \sqrt{3/n}$।

**23.** प्रश्न 7 से $\abs{H_n - \ln n - \gamma -
\frac1{2n}} \leq \frac1{8n^2}$। $n = 10^6$ पर यह परिबंध $\frac{1}{8\cdot10^{12}} = 1.25\cdot10^{-13}$ है: अर्थात् तीन परिकलित पद दस लाख पदों वाले हरात्मक योग को तेरह अंकों तक दे देते हैं, और वह भी पूरी तरह कठोर त्रुटि-प्रमाणपत्र के साथ — स्पष्ट शेषपद वाले अनंतस्पर्शी सूत्र का पूरा उद्देश्य यही है।

**24.** (क) सत्य: $\ln u_n - \ln v_n = \ln\frac{u_n}{v_n}
\to 0$ जबकि $\ln v_n \to +\infty$, अतः लघुगणकों का अनुपात $1$ की ओर जाता है। (ख) असत्य: $u_n = n + 1 \sim v_n = n$, परंतु $\eu^{u_n}/\eu^{v_n} = \eu \neq 1$। समतुल्यता घातांक में योज्य त्रुटियाँ $o(1)$ सह लेती है, $O(1)$ नहीं। (ग) असत्य: $+\infty$ पर $f(x) = x + \sin(x^2) \sim g(x) = x$, परंतु $f'(x)
= 1 + 2x\cos(x^2)$ अपरिबद्ध रूप से दोलन करता है जबकि $g' = 1$: अर्थात् समतुल्य फलनों के अवकलज तुलनीय होना बिलकुल आवश्यक नहीं।

**25.** [विधि 6.22](#met-b2-comparison-implicit) का [चक्र](https://one-course.com/books/math/4/hi/chapter/1-sets-and-structures#def-b2-structures-sn) तीन बार एक-सा चला: मूल का स्थानीयकरण, कच्चा पद निकालना, और उसे अगली कोटि के लिए वापस डालना — $\eu^x + x = n$ पर (भाग I), $x\ln x = n$ पर (भाग III), $x\tan x = 1$ पर (भाग IV)। समलंब सुधार श्रेणी–समाकल तुलना को “अंतर अभिसरित होता है” से बढ़ाकर प्रमाणित $O(\int_n^\infty
\abs{f''})$ शेषपद वाले स्पष्ट $\frac{f(1) + f(n)}2$ पद तक ले जाता है — केवल अभिसरण के बदले अचर और त्रुटि-पट्टियाँ। और अभाज्यों तक का पुल विशुद्ध प्रतिलोमन है: अभाज्य संख्या प्रमेय कहती है $\pi(x)\ln x \approx x$, अतः $\pi(p_n) = n$ से परिभाषित $p_n$ किसी $x\ln x = n$ समीकरण को हल करता है — और उसी की अनंतस्पर्शिता विरासत में पाता है। प्रश्न 24 का नियम (क) $u_n \sim v_n$ से $\ln u_n \sim
\ln v_n$ तक के हर मार्ग को वैध ठहराता है (प्रश्न 11, 14); और (ख) के असत्य होने के कारण ही हम समतुल्यताओं का घातांकी कभी नहीं लेते। शिखर: प्रथम कोटि तक ऑयलर–मैक्लॉरिन सूत्र (प्रश्न 6), और $n$-वें अभाज्य का अनंतस्पर्शी नियम $p_n \sim n\ln n$ (प्रश्न 14)।