for c being Real st c < 0 holds
exp_R c < 1