Матеріал з Вікіпедії — вільної енциклопедії.
Подстраница "Користувач:Галактион/Теорема Штольца" создана для того, чтобы перенести информацию из раздела "Обговорення" статьи "Теорема Штольца ". Галактион 05:06, 5 березня 2010 (UTC)
Дополнение к статье "Теорема Штольца"
t
⊢
f
:
N
↦
R
∧
g
:
N
↦
R
∧
∀
M
∈
R
∧
M
>
0
∃
N
∈
N
∀
n
∈
N
∧
n
>
N
(
g
n
>
M
)
∧
∃
N
∈
N
∀
n
∈
N
∧
n
≥
N
(
g
n
<
g
n
+
1
)
→
(
∃
L
∈
R
(
lim
n
→
∞
f
n
+
1
−
f
n
g
n
+
1
−
g
n
=
L
)
→
lim
n
→
∞
f
n
g
n
=
lim
n
→
∞
f
n
+
1
−
f
n
g
n
+
1
−
g
n
)
{\displaystyle {\begin{aligned}t\vdash \qquad \mathrm {f} :\mathbb {N} \mapsto \mathbb {R} \quad \land \quad \mathrm {g} :\mathbb {N} \mapsto \mathbb {R} \ \ \land \ \ \forall _{M\ \in \ \mathbb {R} \ \land \ M\ >\ 0}\ \exists _{N\ \in \ \mathbb {N} }\ \forall _{n\ \in \ \mathbb {N} \ \land \ n\ >\ N}\ (g_{n}>M)\\\ \land \ \ \exists _{N\ \in \ \mathbb {N} }\ \forall _{n\ \in \ \mathbb {N} \ \land \ n\ \geq \ N}\ (g_{n}<g_{n+1})\\\ \to \quad (\exists _{L\ \in \ \mathbb {R} }\ (\lim _{n\to \infty }{\frac {f_{n+1}-f_{n}}{g_{n+1}-g_{n}}}=L)\quad \to \quad \lim _{n\to \infty }{\frac {f_{n}}{g_{n}}}=\lim _{n\to \infty }{\frac {f_{n+1}-f_{n}}{g_{n+1}-g_{n}}}\ )\end{aligned}}}
Галактион 23:26, 19 червня 2009 (UTC)