Skrytý text:Na úvod poznamenám, že platí vzťah

a z tohto budeme vychádzať. Označme si
![kopírovat do textarea $\varphi(x)=x\cdot\sin(1/x)\nlI_n=[n,n+1]$](/mathtex/83/8343278efa979c7ecfa93a69c9058507.gif)
Integrand teda možno prepísať do tohto tvaru

____________________________________________________________________________________________
I. Časť____________________________________________________________________________________________
Teraz budeme odhadovať prvý z integrálov. Použijem nasledovnú úvahu
![kopírovat do textarea $\forall x\in[n,n+1]\,:\;\sin(1/x)\,<\,1/x\;\Rightarrow\;\frac{\sin(1/x)}{1/x}\,<\,1$](/mathtex/dc/dce536ec7decc4d4cc56428df0844338.gif)
Zároveň, ak uvažujeme prirodzené čísla

(vec dohody), tak platí aj dolný odhad
![kopírovat do textarea $0\,<\,\frac{\sin(1/x)}{1/x}\,<\,1\,;\;x\in[n,n+1]$](/mathtex/0a/0ab6a80cd9eba7e1daf586aa39b40c75.gif)
Keďže skúmame limitu

, stačí pozorovať asymptotické vlastnosti výrazu. Keďže funkcia

je spojitá na ľubovoľnom intervale

, platia ohraničenia
![kopírovat do textarea $\alpha:=\min_{x\in[n,n+1]}\varphi(x)\,<\,\varphi(x)\,<\,\max_{x\in[n,n+1]}\varphi(x):=\beta$](/mathtex/ec/eca070a377b71306f77fdadbc8ba24dc.gif)
Môžeme teda písať nasledovné obmedzenia
![kopírovat do textarea $\alpha\cdot\(n+\frac{1}{2}\)=\int_{n}^{n+1}x\cdot\alpha\,\mathrm{d}x\,<\,\boxed{\int_{n}^{n+1}x^2\cdot\sin(1/x)\,\mathrm{d}x}\,<\,\int_{n}^{n+1}x\cdot\beta\,\mathrm{d}x=\frac{\beta}{2}\cdot[(n+1)^2-n^2]=\beta\cdot\(n+\frac{1}{2}\)$](/mathtex/84/84806d764bff8708c4b113d138c67e77.gif)
____________________________________________________________________________________________
II. Časť____________________________________________________________________________________________
Aj druhý integrál

potrebujeme odhadnúť. Odhad zhora nebude náročný. Stačí si uvedomiť, že
![kopírovat do textarea $\forall n\in\mathbb{N}\;\forall x\in[n,n+1]\,:\;\varphi(x)\in(0,1)$](/mathtex/bb/bb0593aef3dd6fd7485d8a234e801709.gif)
a teda

Platí teda

Odhad zdola bude náročnejší. Funkcia

je asymptoticky identická funkcia.

Limitne (asymptoticky) je zeta rovná nule. Zeta je tiež záporná funkcia, pretože

o čom sa láskavý čitateľ môže presvedčiť sám :-) Opäť zo spojitosti a monotónnosti (*) (viď dodatok) píšeme ohraničenie

kde


Zhrnieme všetky odhady do jedného a dostaneme
Ak sa pozrieme na definíciu

spätne, tak (**)
![kopírovat do textarea $\alpha:=\min_{x\in[n,n+1]}\varphi(x)=\varphi(n)\nl\beta:=\max_{x\in[n,n+1]}\varphi(x)=\varphi(n+1)$](/mathtex/57/57b9ab859f06219582c870fe27fafa68.gif)
a pokračujeme v nerovnostiach
Vypočítame limity pre obe strany a použijeme vetu o dvoch policajtoch. Prvá z limít je
![kopírovat do textarea $\lim_{n\to\infty}[\varphi(n)-1]\cdot n+\frac{\varphi(n)}{2}=\lim_{n\to\infty}\zeta(n)+\frac{\varphi(n)}{2}=\frac{1}{2}$](/mathtex/76/768cedc600605293d89cec9ad5de4933.gif)
Výpočtom druhej sa presvedčíme, že je rovnaká.
____________________________________________________________________________________________
Dodatky____________________________________________________________________________________________
(*) Pre

je uvedená funkcia

- zeta monotónna rastúca a nadobúda záporné hodnoty. Zatiaľ to neviem dokázať. Doplním neskôr.
(**) Monotónnosť - rast funkcie vyplýva z monotónnosti funkcie

v pravom okolí nuly.