theorem Th5: :: FINANCE2:2

number_e in REAL \ RAT