Begründen Sie dazu zunächst, dass
exp(x) streng monoton wachsend auf ℝ ist.
Es ist ja die Ableitung von exp gleich exp und das ist überall
posiiv, also ist exp streng monoton wachsend auf ℝ.
Und die Ableitung von tanh(x)  ist  1 / (cosh(x))2  
also auch immer positiv.