ferner eine reelle, stets positive Funktion der reellen Variabeln und endlich eine Funktion der ganzzahligen Variabeln und der reellen Variabeln , die durchweg positive ganzzahlige Werte hat und bei festgehaltenem mit unendlich wachsendem selbst, ohne je abzunehmen, über alle Grenzen wächst; diese zu zugehörigen Größen , , sind von folgender Beschaffenheit:
Es sei eine beliebige positive ganze Zahl und eine beliebige positive Zahl , ferner eine reelle, der Ungleichung
|
(18)
|
genügende Größe; es werde endlich
|
(19)
|
gesetzt; wenn dann eine beliebige ganze Zahl () ist, deren absoluter Betrag der Ungleichung
|
(20)
|
genügt, so können zu diesen Größen , , , stets ganze Zahlen , …, , deren absolute Beträge die Ungleichungen
|
(21)
|
befriedigen, derart gefunden werden, daß die Gleichung
|
|
stattfindet.
Zum Beweise bestimmen wir zunächst eine positive ganze Zahl durch die Ungleichungen
;
|
(22)
|
dann wird
,
|
|
und da wegen (18)
|
|
ist, so haben wir demnach auch
.
|
(23)
|
Andererseits ist mit Rücksicht auf (22)
,
|
|
d. h.
.
|
(24)
|
Setzen wir nun
,
|
(25)
|