Real exponential function/Base/Properties/Fact