theorem Th51: :: SIN_COS:52

for th being Real st th > 0 holds
exp_R . th >= 1