Dann muss es wahrscheinlich in Schritten erfolgen:
1) Nachweis des monotonen Fallens.
Bei gleichzeitiger Beschränkung nach unten (die Werte können nicht negativ werden) folgt daraus die Existenz eines nichtnegativen Grenzwertes g.
2) Die Annahme g>0 muss durch einen Widerspruchsbeweis widerlegt werden. Man könnte z.B. zeigen, dass eine hinreichend kleine Epsilonumgebung von g (die oberhalb von 0 endet), irgendwann "nach unten verlassen wird".