For every real u the terms ! form a sequence whose series converges absolutely with first term 1, and the sums of these series form a map from the reals to the reals.
In the setting of The Real Line: Standing Notation and Background for Calculus on Intervals, let partial sums, convergence and sums of series and absolute convergence be as in Series of Real Numbers: Partial Sums, Convergence, the Sum and Absolute Convergence. For let be the factorial of , and for let be the power of , with as in Powers with Exponents in the Natural Numbers with Zero (ii). Elements of standing in real expressions are read in by The Real Line: Standing Notation and Background for Calculus on Intervals (vii); read there, , so , by Natural Numbers and Factorials Read in the Reals: the Order Carries Over, One Is Least, and Factorials Are Positive, Recursive and Nondecreasing (iii). For , is the difference, defined, since by Arithmetic and Order of the Natural Numbers (x).
For every there is exactly one sequence in whose -th term is for every .
For every , the series of the sequence of (i) converges absolutely, and in particular converges; its first term is .
There is exactly one map with for every .
Loading…
No relations recorded yet.