The Trapping Setup
Figure 1 — A function that has no limit of its own but inherits one.
Caption. The amber curve oscillates without settling, but it never escapes the two dashed bounds, and those bounds close on a single height at . Whatever the oscillation does, it cannot end anywhere else.
The statement you will use, in the form the exam expects:
Three conditions are doing work, and each one can fail:
- The inequality must hold on a punctured neighborhood of , not merely at and not merely on one side.
- Both rails must have limits. A bound with no limit is not a rail.
- The two limits must be equal. Unequal rails leave the trapped function free to choose.