Calculus · Solutions
Limits & Continuity
Work this sheet on paper, showing every step — the method is what is being tested, and the solutions are written so you can check your route rather than just your answer. Name every theorem you use (“by the Squeeze Theorem”, “by the quotient law”, “by the IVT”) and check its hypotheses. No calculator is needed anywhere. Full worked solutions are on a separate page; each question also has its own reveal, so you can check one answer without seeing the rest.
- 1.Computation
Evaluate each limit. In every case name the algebraic move that removes the indeterminate form, and do not substitute until it is legal to do so.
- (a)
- (b)
- (c)
Solution
(a) Factor and cancel. Substitution gives . Factoring both parts,
The cancellation is licensed because a limit never inspects itself. Substituting now gives .
(b) Rationalise. Again , and the obstacle is the root, so multiply above and below by the conjugate :
which tends to .
(c) Combine the fractions, then rationalise. Each term blows up, so the form is and nothing may be concluded from the pieces. Over the common denominator ,
Now multiply above and below by ; the numerator becomes , so for the expression equals
Sanity check: at the original expression is .
- 2.Computation
Let and be real constants and
- (a)Compute , and compute in terms of .
- (b)Find the unique pair for which is continuous at , and verify all three conditions of the definition.
- (c)Now take instead. Classify the discontinuity at , state the size of the jump, and explain why no choice of whatsoever can repair it.
Solution
(a) To the left of only the first branch is in play, and there , so the common factor may be cancelled:
To the right, is a rational function whose denominator does not vanish at , so direct substitution applies: .
(b) The definition asks for three things. is defined — it equals , whatever is. The two-sided limit exists exactly when the one-sided limits agree, that is when , so ; the common value is then . Finally the limit must equal the value, so . The pair is , and it is unique because each condition determined one constant.
(c) With the right-hand limit is , while the left-hand limit is still . Both one-sided limits exist and they differ, so this is a jump discontinuity, of size .
The constant only sets the single value . The failure here is in the second condition — the two-sided limit does not exist at all — and that condition mentions no value of at . So changing cannot help: a jump is a disagreement between the two sides, not a mismatch between a side and a point.
- 3.Sketch
Let .
A sketch with no limits written beside it earns nothing here: every feature you draw must be justified by a limit statement.
- (a)Factor and decide, for each zero of the denominator, whether it produces a hole or a vertical asymptote. State the test you are applying.
- (b)Write down , , and .
- (c)Sketch for , marking the hole, the vertical asymptote, the horizontal asymptote and both intercepts, and indicating on which side of the horizontal asymptote each end of the graph lies.
Solution
(a) and , so
The test is not "denominator zero" but "denominator zero after cancelling, with the numerator then nonzero". At the factor cancels, so that is a hole. At the reduced numerator is while the reduced denominator vanishes, so is a vertical asymptote.
(b) Work with the reduced form throughout; it agrees with everywhere except at , which no limit can see.
As the numerator tends to and , so . As the denominator is small and positive, so .
At the reduced form is continuous, so — the limit exists even though does not, which is exactly what a hole is.
Dividing by , in both directions, so .
(c) Intercepts: only where the reduced numerator vanishes, at ; note is not an intercept, it is the hole. The -intercept is .
For the sides, rewrite once more:
The remainder is negative for and positive for , so the left branch approaches from below and the right branch from above.
The sketch therefore has two branches. On the curve comes in just under (at it is ), falls through and , and plunges to at the wall . On it descends from , passes through the open circle at , then and , settling onto from above. Draw the vertical line and the horizontal line dashed, and the hole as an unfilled circle.
- 4.Critique
A student is asked for and submits the following.
Step 1. Numerator and denominator both tend to , so the form is and L'Hôpital's Rule applies.
Step 2. Differentiating top and bottom separately gives .
Step 3. Both and are bounded, so numerator and denominator are bounded, and the limit is .
The final number happens to be correct. Nothing else about the argument is.
- (a)Identify every flaw. For each, name the theorem or hypothesis being abused.
- (b)Evaluate the limit correctly, with full justification.
Solution
(a) There are three distinct flaws.
Step 1 checks only the form. L'Hôpital's Rule also requires on a punctured neighbourhood of the point. Here and , which vanishes at every — that is, arbitrarily far out. The hypothesis fails, so the rule may not be invoked at all, and Step 2 is not a legal deduction.
Step 3 is a non sequitur. Bounded does not mean convergent. The quotient has no limit as : it equals whenever , and it is unbounded near the zeros of . So the expression in Step 2 is not bounded either, and in any case a bound is never a value.
The implication runs one way. Even if the limit in Step 2 had merely failed to exist, nothing would follow. L'Hôpital's Rule says: if exists, then it equals . A nonexistent tells you nothing about . The student's "" was asserted, not derived.
(b) Divide numerator and denominator by , which is legal for :
For we have , and both bounds tend to , so by the Squeeze Theorem; the same argument gives . The denominator therefore tends to , the quotient law applies, and the limit is
Sanity check: at the quotient is .
- 5.Computation
Evaluate. Wherever a square root is involved, state explicitly whether you are using or , and why.
- (a)
- (b)
- (c)
Solution
(a) Here , so and . (The radicand is positive for , so the expression is defined out there.) Pulling out of the root and out of the denominator,
Sanity check: at the quotient is . Dropping the minus sign would have produced , the single most common error in this section.
(b) The form is . Multiply and divide by the conjugate:
Now , so and ; dividing top and bottom by gives
(c) The form is . Rationalise the bracket:
which tends to .
- 6.Proof
Work directly from the – definition. The limit laws are not available in this question.
- (a)Prove that . Set out the preliminary analysis and the forward verification separately, and make clear that your depends only on .
- (b)Prove that does not exist — that is, that no real number satisfies the definition. Exhibiting one that defeats every is enough.
Solution
(a) Preliminary analysis (scratch work, not the proof). For ,
The factor is under our control; the factor is not, and it is unbounded as nears . So tame it first: agree to keep . Then , hence and . Under that agreement the whole expression is below , which is below as soon as .
Proof. Let be given and set
a positive number depending on alone. Suppose . From we get , so and . Therefore
Since was arbitrary, . The is the standard device: one bound tames the awkward factor, the other delivers the tolerance.
(b) Suppose, for contradiction, that some real satisfied the definition, and take . Let be arbitrary and put
Then , so the definition would force . But gives , and by the reverse triangle inequality
a contradiction. No works for , whatever is, so the limit does not exist.
The computation also shows how it fails: exceeds every bound as , which is what the one-sided statement records.
- 7.Computation
Every argument below is in radians. You may quote and . L'Hôpital's Rule may not be used in this question.
- (a)
- (b)
- (c)
Solution
(a) Manufacture the standard forms by matching each argument with its own denominator:
As both and , so each quotient tends to (the second because ). The limit is .
(b) Divide numerator and denominator by , so that both acquire limits and the quotient law becomes available:
The numerator is , and the denominator is . Since the quotient law applies and the limit is .
(c) Factor out of the numerator, which is what makes the cancellation visible:
Hence, for near ,
Sanity check: at the expression is .
- 8.Proof
Throughout, a punctured neighbourhood of means a set for some .
- (a)Suppose only that for every in . Determine , and explain why this is enough even though is otherwise completely unknown.
- (b)Prove, directly from the – definition and without quoting the Squeeze Theorem, that if and is bounded on some punctured neighbourhood of , then .
- (c)Use (b) to evaluate , and explain why the product law cannot deliver the same conclusion.
Solution
(a) Both bounds are polynomials, hence continuous, so their limits at are found by substitution: and . The two bounds have the same limit, so by the Squeeze Theorem .
Nothing else about is needed, and that is the point of the theorem: the hypothesis traps between two functions which are forced together at , so has no room left to do anything else. (Note the value is still unknown and irrelevant.)
(b) By hypothesis there are and with whenever . (If the given bound happens to be , replace it by any positive number; we need only in order to divide by it.)
Let . Since , there is such that
Put . If then both estimates are available, so
As was arbitrary, .
(c) Take and , with . Then is continuous at with , so ; and on every punctured neighbourhood of . By (b) the limit is .
The product law is unavailable because it requires both factors to have limits, and does not exist: at we get , and at we get , and both families of points reach arbitrarily close to . No single can be approached. The boundedness of is all that survives — and (b) says that is enough.
- 9.Proof
Quote the Intermediate Value Theorem by name wherever you use it, and check its hypotheses each time.
- (a)Show that has at least two real solutions, and trap each one in an interval of length .
- (b)Let be continuous. Prove that has a fixed point: some with .
- (c)Give an explicit with no fixed point, and name the hypothesis of (b) that it violates.
Solution
(a) Turn it into a root problem: let , so the solutions of the equation are exactly the zeros of . As a sum of continuous functions, is continuous on every closed interval.
Since and is continuous on , the IVT (with ) gives a zero in . Since , the IVT on gives a zero in . The two intervals are disjoint, so the zeros are distinct and the equation has at least two solutions.
To halve each interval, evaluate at the midpoints: , so the first root lies in ; and , so the second lies in . Both intervals have length or less, as required.
(b) Define on . It is continuous, being a difference of continuous functions.
Because takes values in we have and , so
If then is a fixed point; if then is. Otherwise , so lies strictly between and , and the IVT applied to on the closed interval supplies with , that is .
(c) Take
Its values are and , both in , so it is a map . If then , since ; if then , since . So has no fixed point.
The hypothesis violated is continuity: has a jump at . One sees exactly where the proof of (b) breaks: , while for every just to the right of , so steps over the value without ever taking it — which is precisely what the IVT forbids a continuous function to do.
- 10.Sketch
Let .
- (a)Carry out the long division and write . State the slant asymptote, and verify it against the definition by computing .
- (b)Find the vertical asymptote and both one-sided limits there, and find the - and -intercepts.
- (c)Decide, separately for and for , whether the curve lies above or below the slant asymptote, and say which feature of your expression in (a) decides it. Then sketch on , showing both asymptotes and all three intercepts.
Solution
(a) Dividing by : the first quotient term is , since , and subtracting leaves ; the next term is , since , and subtracting leaves the remainder . Hence
Check by multiplying back: . ✓
Now as and as , which is exactly the definition of a slant asymptote. So is a slant asymptote in both directions. (This had to be a line: the degrees differ by exactly one.)
(b) The denominator vanishes only at , and there the numerator is , so nothing cancels and is a vertical asymptote. From the divided form, the sign is carried entirely by :
Intercepts: , so at and (neither equals , so both are genuine). The -intercept is .
(c) The sign of the remainder decides it. For , , so the curve lies above ; for , , so it lies below.
The sketch has two branches. On : far to the left the curve runs just below the line (at , against the line's ), rises through the roots and — with a small local maximum between them, about near — passes on the way, and then dives to at the wall . On : the curve descends from and settles onto the line from above (at , against the line's ; at , against ).
Draw and dashed, and mark , and .
- 11.Critique
Three arguments follow. Each is invalid, although one of them happens to end at a true statement. For each argument: name the law or theorem being misapplied, say precisely which of its hypotheses fails, and then give a correct treatment of the limit in question.
- (a)“, which is . That form is indeterminate, so the limit does not exist.”
- (b)“Since and , the product law gives .”
- (c)“ and are the same function, because the first simplifies to the second. Since is a polynomial it is continuous everywhere, so is continuous at .”
Solution
(a) The difference law is being applied. Its hypothesis is that the two individual limits exist as real numbers; neither does, so the law is silent. The symbol is not a subtraction of numbers at all — it is a label for the case in which the laws refuse to answer, and "indeterminate" means "undecided", never "does not exist".
Correct treatment: for every the expression is identically , and a limit never inspects itself. So the function agrees with the constant on a punctured neighbourhood, and . The stated conclusion is false.
(b) The product law again requires both limits to exist as real numbers, and is not one. The form is indeterminate for the same reason as in (a): it records that one factor shrinks and the other grows, without recording how fast, and the rate is the whole question.
Correct treatment: is the fundamental trigonometric limit. From the unit-circle area comparison one gets for , and the Squeeze Theorem gives . The stated value is false.
(c) Two errors, one after the other.
First, and are not the same function. They agree for , but is undefined at while , and functions with different domains are different functions. What the theorem "limits ignore the point itself" transfers from to is the limit, never the value; this is exactly why the limit sign must stay attached while you cancel.
Second, continuity at requires all three of: defined, the limit existing, and the two agreeing. The very first condition fails, so is not continuous at .
Correct treatment: , and has a removable discontinuity at — removable precisely because defining repairs it. This is the one of the three whose final sentence is closest to something true, and it is still wrong as stated.
- 12.Proof
Check the hypotheses of L'Hôpital's Rule at every application, and say which indeterminate form you are in each time.
- (a)Evaluate , giving the value exactly.
- (b)Prove that for every positive integer , by induction on .
Solution
(a) The base tends to and the exponent to : the form is , which is indeterminate — a base slightly above or below raised to a huge power can do anything. Take logarithms. For we have , so with
the logarithm is defined near and the quotient is of the form , since and .
Apply the rule. Writing the numerator as , it differentiates to , and the denominator differentiates to (nonzero for ). So
Peel off a factor whose limit is already known: and , so it is enough to evaluate
still . One more application: the numerator differentiates to and the denominator to , giving
Hence , and since is continuous, . The limit is
Stopping at would answer a different question — that is the classic slip in a problem.
Sanity check: at the original expression is , against .
(b) Base case . As both and , so is of the form ; both functions are differentiable on and the denominator's derivative is . L'Hôpital's Rule gives
Inductive step. Let and suppose . Since , the quotient is again of the form , and the same differentiability and checks apply on . The rule gives
by the inductive hypothesis — and the rule is legitimately applied because that limit on the right does exist. By induction the statement holds for every positive integer .
This is the hierarchy made precise in the case : no power of the logarithm can keep up with itself.