von Dr. R. Mildner (alpha 3/1988, S. 70)
Es gelte die Ungleichung
Der linke Term von (1) ist offenbar nur definiert für
und
Für alle x, die (2) und (3) erfüllen, müssen dann weiterhin die folgenden untereinander äquivalenten Ungleichungen gelten:
Nach (2), (3) und (4) ist die Ungleichung (1) somit für alle x mit
erfüllt.