Ich kenne keine für dieses f aus elementaren Funktionen "leicht"
zu bestimmende Umkehrfunktion.
Aber nochmal zur Monotonie: das Kriterium mit der Ableitung
war sicher irgendwo dran.
Und beim Surjektivitätsargument benötigt man nur
den Zwischenwertsatz, der ganz sicher in der VL vorkam.