Math 2.0

Sequences, series, summability Sequences and limits Theorem

Squeeze theorem

Builds on Limit of a sequence

Statement

Let (an)(a_n), (bn)(b_n) and (cn)(c_n) be real sequences and let LL be a real number. Assume that there is a natural number NN such that an≤cn≤bna_n \le c_n \le b_n for all n≥Nn \ge N. Assume that an→La_n \to L and bn→Lb_n \to L as n→∞n \to \infty. Then cn→Lc_n \to L as n→∞n \to \infty.

Remarks

The theorem gives the existence of the limit of (cn)(c_n). It does not assume it. For example, −1/n≤sin⁡(n)/n≤1/n-1/n \le \sin(n)/n \le 1/n, so sin⁡(n)/n→0\sin(n)/n \to 0. 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
Each page uses the pages above it. The colour of the bar on a box shows how strong the evidence is, and the box also gives it as text. The list has the same pages.
  • no evidence level
  1. Sequence definition
  2. Real sequence definition
  3. Limit of a sequence definition
  4. Squeeze theorem statement

Where this leads

114 pages build on this one.

Further reading

  1. Web https://en.wikipedia.org/wiki/Squeeze_theorem, Statement
  2. Web https://en.wikipedia.org/wiki/Limit_of_a_sequence, Properties
About this page
Tag0XMF00T4XQ
URIm2://0XMF00T4XQ
Aliasessandwich-theorem
Kindstatement, theorem
WritingW1 stated
MSC40A05
StatusThis copy of the site has no build data. Run m2 status 0XMF00T4XQ.
UsesLimit 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.

What links here

Used by