theorem Th7: :: FINANCE2:4

number_e in REAL \ NAT