Sequences, series, summability Sequences and limits Theorem
Squeeze theorem
Builds on Limit of a sequence
Statement
Let , and be real sequences and let be a real number. Assume that there is a natural number such that for all . Assume that and as . Then as .
Remarks
The theorem gives the existence of the limit of . It does not assume it. For example, , so . The same statement holds for the limit of a function at a point. Other names are the sandwich theorem and, in some countries, the two policemen theorem.
Reading path
To understand this page from the ground up, read these 4 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Sequence definition
- Real sequence definition
- Limit of a sequence definition
- Squeeze theorem statement
Where this leads
114 pages build on this one.
- Power series are differentiable inside the radius of convergence
- Natural logarithm
- Euler–Mascheroni constant
- The logarithm grows slower than any power
- Derivative of sine
- 1 + x is at most exp x
- cos pi = -1
- sin x / x tends to 1
- Geometric series
- Inverse trigonometric functions
- Power series of sine
- Leibniz formula for pi
- Integral of exp(-x) over the half line
- Pythagorean trigonometric identity
- log x is at most x - 1
- Inverse hyperbolic functions
- Integral of cosine
- Root test
- Derivative of arctangent
- Harmonic numbers grow like log n
- Integral of the exponential function
- Power series of the exponential function
- cosh^2 - sinh^2 = 1
- Cauchy–Hadamard theorem
- Derivatives of the hyperbolic functions
- Derivative of the logarithm
- Divergence part of the ratio test
- Power series of cosine
- The nth root of n tends to 1
- Arcsine
- pi
- Exponential growth beats polynomial growth
- The exponential function is convex
- Gaussian integral
- Basel problem
- Exponential of a sum
- Trigonometric substitution
- Hyperbolic cosine
- The exponential function is its own derivative
- x sin(1/x) is continuous at 0
- The gamma function extends the factorial
- e as the limit of (1 + 1/n)^n
- Sum of the reciprocals of the factorials
- Derivative of arcsine
- Addition formulas for hyperbolic functions
- Decimal expansion as a series
- Hyperbolic sine
- Integral of sine
- A sequence converges iff its liminf and limsup agree
- Hyperbolic functions
- Logarithm of a quotient
- Ratio formula for the radius of convergence
- Integral of 1/x
- Logarithm of a product
- Stirling's formula
- The exponential function is strictly increasing
- Radius of convergence of the binomial series
- Derivative of x^a
- e
- Hyperbolic tangent
- Sine is 2π-periodic
- The exponential function is positive
- The exponential series has infinite radius of convergence
- The sequence r^n tends to zero for |r| < 1
- Irrationality of pi
- Ratio test
- pi is greater than 3
- Arccosine
- Logarithm is the inverse of the exponential
- Exponential function
- Power-reduction formula for cosine
- Derivative of tangent
- Power series of arctangent
- Real exponentiation
- Derivative of cosine
- Logarithm of a power
- Improper integral of x^p on an unbounded interval
- Irrationality of e
- Integration by partial fractions
- Wallis product
- Mercator series
- The logarithm is strictly concave
- Weierstrass factorization theorem
- Convergence of the Neumann series for Volterra kernels
- Mehta integral
- Weierstrass product for the gamma function
- Bertrand's test
- The exponential map from the additive reals to the positive reals
- Mertens' theorems
- Ramanujan's series for 1/pi
- Neumann series
- Weierstrass product
- Kummer's test
- Frullani integral
- Gauss's test
- Log-convexity of the gamma function
- Raabe's test
- Logarithmically convex function
- Reduction of a first-kind Volterra equation to the second kind
- Liouville–Neumann series
- Laplace transforms of sine and cosine
- Spectral radius formula
- Hadamard factorization theorem
- Viète's formula
- Bohr–Mollerup theorem
- Iterated exponentiation
- An infinite product converges iff its series of logarithms converges
- Trigonometric integrals
- Basel problem via Fourier series
- Unique solvability of Volterra equations of the second kind
- Laplace transform of the exponential function
- Function of exponential order
- Barnes G-function
- Chudnovsky algorithm
Further reading
About this page
| Tag | 0XMF00T4XQ |
|---|---|
| URI | m2://0XMF00T4XQ |
| Aliases | sandwich-theorem |
| Kind | statement, theorem |
| Writing | W1 stated |
| MSC | 40A05 |
| Status | This copy of the site has no build data. Run m2 status 0XMF00T4XQ. |
| Uses | Limit of a sequence |
| Same as |
Markdown · JSON · Edit on GitHub
What this page needs for W2
- edge about out: the concepts that the statement is about (0 of 1)
- edge proves in: at least one proof node (0 of 1)
- edge instance_of or illustrates in: one example that shows the statement at work (0 of 1)
- explanation L2 (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.