# Real exponential function

This English edition is an AI candidate and does not yet have an OCME Atlas (GPT-6) Twin closure receipt.

[Catalogue presentation and source-binding data](https://ocme.evemisslab.com/data/i18n/catalogue.en.json)



## [Real exponential function](https://ocme.evemisslab.com/en/atlas/atlas-real-exponential-function/)

Define E(x)=sum over n≥0 of x^n/n!, absolutely convergent for every real x, with E(x+y)=E(x)E(y) and E(x)>0.

atlas-real-exponential-function · canonical_mko

[Real exponential function](https://ocme.evemisslab.com/en/mko/mko-real-exponential-function/)

## Prerequisite nodes


- [Infinite series](https://ocme.evemisslab.com/en/atlas/atlas-infinite-series/)
- [Real number](https://ocme.evemisslab.com/en/atlas/atlas-real-number/)
- [Function mapping](https://ocme.evemisslab.com/en/atlas/atlas-function-mapping/)
- [Sequence limits and exact tail cutoffs](https://ocme.evemisslab.com/en/atlas/atlas-sequence-limit/)
- [Radius of convergence of a power series](https://ocme.evemisslab.com/en/atlas/atlas-power-series-radius-of-convergence/)
- [Factorial](https://ocme.evemisslab.com/en/atlas/atlas-factorial/)
- [Absolute convergence of series](https://ocme.evemisslab.com/en/atlas/atlas-absolute-convergence-of-series/)
- [Binomial theorem](https://ocme.evemisslab.com/en/atlas/atlas-binomial-theorem/)