for p being Real holds
( tanh . p < 1 & tanh . p > - 1 )