- Es wird
für
. Daraus ergibt sich
sofern
. Mit
und dem Vergleichskriterium folgt
für
.
- Mit
bleibt uns für
für
mit dem Vergleichskriterium zu zeigen, daß
.
Es wird aber
für
, denn es gilt allgemein
für
und
. Die Aussage folgt nun
mit dem Vergleichskriterium.
- Die Aussage trifft zu für
. Sei die Aussage für
als richtig angenommen und für
zu zeigen.
Wir erhalten
- Aus (3) folgt nach Potenzieren mit
und nach Division durch
und die Aussage folgt mit (1,2) und dem Vergleichskriterium.