theorem Th2: :: CARDFIN2:2

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