The Three Conditions, Separately
Most errors come from satisfying two of the three and reporting a conclusion anyway. Each condition fails in its own way.
| Condition | What it says | How it fails | What the failure means |
|---|---|---|---|
| Bounding | on an open interval around . | The inequality holds only at isolated inputs or only far from . | The theorem never applies; a pointwise check is not a bound. |
| Matching outer limits | . | The two outer limits differ, or one fails to exist. | No conclusion about . The corridor has two different exits. |
| Locality | The inequality holds for every in some open interval containing . | The bound breaks down in the immediate neighbourhood of . | The squeeze says nothing at , even if it holds everywhere else. |
Note what is missing from the list: any requirement that the functions be trigonometric, or that be continuous, or that exist. The theorem is about the limit only, and it never mentions the value at the point.