for x being Real st x <= 0 holds
sinh x <= 0