A bounded function is a function whose output values never exceed a fixed upper limit and never drop below a fixed lower limit, no matter what input you give it. In other words, the entire range of the function stays trapped within some finite interval. The sine function is a classic example: it oscillates between -1 and 1 forever, never breaking past either boundary.
The Core Idea
A function f(x) is bounded if you can find a single real number M such that the absolute value of f(x) is less than or equal to M for every x in the function’s domain. That number M acts like a fence. No matter how far you travel along the x-axis, the function’s output stays between -M and M.
This definition captures three related ideas at once. A function can be bounded above (there’s a ceiling it never exceeds), bounded below (there’s a floor it never drops beneath), or simply bounded (both at the same time). When mathematicians say “bounded” without qualification, they mean both directions.
Consider f(x) = 1/x on the interval from 1 to infinity. The outputs start at 1 and shrink toward zero but never go negative, so the function stays between 0 and 1. That makes it bounded on that domain. But if you change the domain to include values near zero, the outputs shoot toward infinity, and the function becomes unbounded.
Common Examples
Some of the most familiar functions in mathematics are bounded:
- Sine and cosine: Both oscillate between -1 and 1 across all real numbers. You can choose M = 1 and the definition is satisfied.
- Arctangent: As x grows large in either direction, arctan(x) approaches π/2 or -π/2 but never reaches those values. The function is bounded with M = π/2.
- Any constant function: f(x) = 5 is trivially bounded because the output is always exactly 5.
And some common unbounded functions for contrast:
- Polynomials (other than constants) are unbounded. f(x) = x² grows without limit as x moves away from zero.
- Exponential functions like f(x) = eˣ are unbounded above, since the output increases forever as x grows.
- Logarithms are unbounded above as well, though they grow much more slowly than polynomials or exponentials.
Why the Domain Matters
Boundedness is not purely a property of the formula. It depends heavily on which inputs you allow. The function f(x) = x² is unbounded over all real numbers, but if you restrict the domain to the interval [-3, 3], the outputs range from 0 to 9, making it bounded. Similarly, f(x) = 1/x is unbounded on (0, 1) because outputs explode near zero, yet it’s perfectly bounded on [1, 100].
This is why precise language about the domain shows up constantly in calculus and analysis. Saying a function is bounded always implicitly refers to a specific domain, even if that domain is all real numbers.
Bounded vs. Having a Limit
Boundedness and having a limit are different properties, though students often conflate them. A function can be bounded without approaching any single value. Sine is bounded but has no limit as x approaches infinity because it keeps oscillating. Conversely, a function can have a limit at a point while being unbounded elsewhere.
That said, the two concepts interact in useful ways. If a function has a finite limit as x approaches some value, the function is bounded in some neighborhood around that value. And one of the key results in calculus, the squeeze theorem, relies on trapping a function between two bounded expressions to pin down its limit.
Role in Calculus and Analysis
Boundedness shows up as a condition in many of the theorems you encounter in calculus courses. The Extreme Value Theorem, for instance, guarantees that a continuous function on a closed interval [a, b] is bounded and actually reaches its maximum and minimum values. This is one reason closed intervals behave so much more nicely than open ones in formal proofs.
In integration, boundedness matters because the standard Riemann integral is defined for bounded functions on closed intervals. If a function is unbounded on the interval of integration, you need to treat the integral as an improper integral, splitting it up and taking limits. The distinction between bounded and unbounded functions is essentially what separates straightforward integrals from ones that require extra care.
In more advanced analysis, bounded functions form a vector space, meaning you can add two bounded functions or multiply a bounded function by a constant and the result is still bounded. This structure becomes important in functional analysis, where entire spaces of bounded functions are studied as mathematical objects in their own right.
Upper and Lower Bounds
When a function is bounded, two specific numbers become useful: the supremum (least upper bound) and the infimum (greatest lower bound) of its range. The supremum is the smallest number that the function never exceeds. The infimum is the largest number that the function never drops below.
For sine, the supremum is 1 and the infimum is -1, and the function actually reaches both values. But a bounded function doesn’t have to reach its bounds. The function f(x) = 1/(1 + x²) has a supremum of 1, achieved at x = 0, and an infimum of 0, which it approaches but never reaches. The outputs get arbitrarily close to zero as x grows, yet zero itself is never an output. The function is still bounded, because 0 and 1 serve as the fences.
How to Check if a Function Is Bounded
For many functions, you can determine boundedness by thinking about what happens at the extremes of the domain. Ask yourself: as x grows very large, very negative, or approaches any trouble spots (like values where the denominator is zero), do the outputs stay finite?
If the function is continuous on a closed, finite interval, you’re guaranteed boundedness by the Extreme Value Theorem. No further work needed.
For functions on infinite domains or open intervals, look at the behavior at the boundaries. If f(x) = x·sin(x), the sine part is bounded but the x multiplier grows without limit, so the product is unbounded. If f(x) = sin(x)/x for x > 1, the numerator stays between -1 and 1 while the denominator only grows, so the fraction shrinks toward zero and the function is bounded.
When in doubt, finding an explicit M that works is the most direct approach. If you can name a number and argue that no output exceeds it in absolute value, you’ve proven boundedness. If you can show the outputs grow past any proposed M, the function is unbounded.