παιρνουμε τη παραγωγο της f κ έχουμε f'(t)=(-1-e^-t)/(1+t=e^-t)^2<0 άρα η f ειναι γνησιως φθινουσα στο (0,+οο). άρα και ''1-1''. άρα και αντιστρεψιμη. Το σύνολο τιμών της f είναι (\lim_{+oo},\lim_{0}) αφου f γνησιως φθινουσα. και παιρνοντας τα όρια προκυπτει f(A)=(0,+oo) το οποιο είναι το πεδιο ορισμου της f^-1. Και αποδεικνυεται πως αν f γνησιως φθινουσα τοτε και f^-1 γνησιως φθινουσα. Εφαρμωζoντας τις ιδιοτητες των ορίων έχουμε δυο ξεχωριστα όρια. limt-->+oo f^-1(t)/t-1 + limt-->+oo t/t-1. το δεύτερο παίρνοτας το μεγιστοβαθμιο προκυπτει 1. το πρωτο αφου f^-1 είναι γν. φθίνουσα και το σύνολο τιμων της f^-1 είναι το πεδιο ορισμου της f (0,+oo) τοτε το limt-->+oo f^-1(t) = 0 και έτσι εφαρμόζωντας πάλι τις ιδιοτητες των ορίων έχουμε για το πρωτο lim-->+oo f^-1(t) * limt-->+oo 1/t-1 = 0*0= 0 άρα τελικα limt-->+oo (f^-1(t)+1)/(t-1)=1
Σημείωση: Το μήνυμα αυτό γράφτηκε 15 χρόνια πριν. Ο συντάκτης του πιθανόν να έχει αλλάξει απόψεις έκτοτε.