The limit of f(x) as x approaches a, written lim(x->a) f(x) = L, means that f(x) gets arbitrarily close to L as x gets sufficiently close to a (but not equal to a). The formal epsilon-delta definition makes "arbitrarily close" and "sufficiently close" precise, but the intuitive understanding is what matters first: limits describe the trend of a function near a point. This concept is the foundation upon which all of calculus is built.
Build from the precalculus introduction with more rigorous numerical and graphical exploration. Estimate limits from tables and graphs. Classify cases where limits exist, fail to exist (oscillation, different one-sided limits), or are infinite. Introduce the epsilon-delta idea conceptually without requiring formal proofs.
You've already built an informal sense of limits: f(x) gets close to L as x approaches a. Now we're adding precision to that idea — not to make it harder, but to eliminate ambiguity that would otherwise cause trouble later in calculus.
The central formulation is: lim(x→a) f(x) = L means that f(x) can be made as close to L as desired by taking x close enough to a, with x ≠ a. That small parenthetical — "with x ≠ a" — is the whole point. A limit is not about what happens *at* a, but about what happens *near* a. This distinction separates limits from ordinary function evaluation, and it's what makes limits useful.
Consider f(x) = (x² - 4)/(x - 2). At x = 2, this is 0/0, which is undefined. But for any x ≠ 2, you can factor: (x² - 4)/(x - 2) = (x + 2)(x - 2)/(x - 2) = x + 2. So as x approaches 2, f(x) approaches 4. The function has a hole at x = 2, yet the limit exists and equals 4. This is the canonical use case: limits let us describe function behavior at points where direct evaluation fails.
Three things can prevent a limit from existing: the function oscillates without settling (like sin(1/x) near 0), the left-hand and right-hand approaches yield different values, or the function grows without bound. Recognizing these failure modes is as important as recognizing when limits do exist. When a limit fails to exist, it fails for a specific structural reason — identifying that reason is part of the analysis.
The full epsilon-delta definition you will encounter later gives a rigorous meaning to "close enough," but the intuition you're building now — limits are about trends, not values; they can exist at undefined points; and the trend must be uniform, not just true at isolated nearby points — is exactly the intuition that makes the formal definition comprehensible when you see it.