The Three-Line Structure
Figure 1 — The envelope does the work; the middle function is never evaluated.
Caption. The oscillation inside never settles, yet it is crushed against the origin by the parabola that contains it. The theorem does not require the trapped function to behave; it requires the rails to agree.
Every squeeze argument you will write has the same three lines:
- Exhibit for all in some open interval containing .
- Evaluate and , and show they are equal, say both equal .
- Conclude .
Line 2 is the one students rush. Both limits must actually be computed, and the equality must be stated, because the theorem's hypothesis is that the two rails share a limit rather than merely have limits.