Limit at infinity
Builds on Limit of a function
Definition
Let be a set that is not bounded above, and let be a function. A real number is the limit of at if for each there is with for all with . The notation is . The limit at is defined in the same way, with .
Remarks
A sequence is a function on . For sequences this definition gives the limit of a sequence.
For example, .
Mathlib expresses by the filter Filter.atTop.
Reading path
To understand this page from the ground up, read these 3 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Limit point of a set definition
- Limit of a function definition
- Limit at infinity definition
Where this leads
44 pages build on this one.
- The logarithm grows slower than any power
- Integral test
- Integral of exp(-x) over the half line
- Absolutely convergent improper integral
- Exponential growth beats polynomial growth
- Gaussian integral
- The gamma function extends the factorial
- Comparison test for improper integrals
- Dirichlet integral
- Gamma function
- Improper integral
- Improper integral of x^p on an unbounded interval
- Beta function in terms of the gamma function
- Mehta integral
- Stirling's formula for the gamma function
- Log-gamma function
- Gamma function as Mellin transform of the exponential
- Beta function
- Frullani integral
- Mittag-Leffler summation
- Log-convexity of the gamma function
- Watson's lemma
- Legendre duplication formula
- Karamata's Tauberian theorem
- Laplace transform of the error function
- Abscissa of convergence
- Tauberian theorems for integral transforms
- Particular values of the gamma function
- Bohr–Mollerup theorem
- Poles of the gamma function
- Incomplete gamma function
- Laplace transform of a power function
- Hölder's theorem
- Euler–Gauss limit formula
- Gamma function has no zeros
- Wielandt's theorem
- Reflection formula for the gamma function
- Gamma of one half
- Gauss multiplication formula
- Reciprocal gamma function
- Multiplication theorem
- Euler integral for the gamma function
- Functional equation of the gamma function
- Holomorphy of the gamma function
Further reading
- Web https://en.wikipedia.org/wiki/Limit_of_a_function, Limits at infinity
About this page
| Tag | 0Y12QYTJK3 |
|---|---|
| URI | m2://0Y12QYTJK3 |
| Kind | definition |
| Writing | W0 stub |
| MSC | 26A03 |
| Defines | Limit at infinity |
| Uses | Limit of a function |
Markdown · JSON · Edit on GitHub
What this page needs for W1
- an inventory row: the row of the inventory that the node accounts for (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.