theorem Th2: :: BOR_CANT:2

for x being Element of REAL holds 1 + x <= exp_R . x