Assertion: real number's root | /r/CapableOf | coincide with the ex definitions
Facets:
value: by continuity
type: OTHER
Source sentences:
text: Since exp(1) is equal to e, and exp(x) satisfies this exponential identity, it immediately follows that exp(x) coincides with the repeated-multiplication definition of ex for integer x, and it also follows that rational powers denote (positive) roots as usual, so exp(x) coincides with the ex definitions in the previous section for all real x by continuity.