theorem :: SIN_COS8:4

for x being Real st x >= 0 holds
tanh x >= 0