Aus für folgt mit dem Vergleichskriterium
Ferner folgt aus für mit
Also ist für
Mit dem Vergleichskriterium erhalten wir