Falls , ist nach dem Monotoniekriterium monoton wachsend auf und monoton fallend auf . Da , folgt für .