Für umkehrbar genügt wohl f ' (x) < 0 für alle x > 1.
z:b: ist x^3 auch für x>=0 umkehrbar, aber nur f ' (x) > 0 für x > 0.
Die Abl. ist - ( 2ln(x) + 1 ) / x3
und für x>1 ist 2ln(x) > 0 ( und für x=1 ist ln(1)=0)
also 2ln(x) + 1 > 1
und x^3 ist auch > 1 also der
Quotient ( 2ln(x) + 1 ) / x3 größer 0, weil Quotient zweier positiver Zahlen
und mit dem Minus davor < 0.