When the function is continuous at the point, the limit is just the value there. 36 problems with worked solutions; in 35 of them every
equation is proved by a computer algebra system.
18 worked problems
Try each one before opening the solution. Every line is labeled with what checked it; 18 of these also have a second solution, written separately and checked the same way. How we verify
Evaluate \( \displaystyle \lim_{x \to - \frac{1}{2}} \frac{\cos{\left(2 x + 1 \right)}}{2 x + 2} \).
\[ \lim_{x \to - \frac{1}{2}^+}\left(\frac{\cos{\left(2 x + 1 \right)}}{2 x + 2}\right) \]
limitalgebraalgebralimitEvaluate the limit of the function as x approaches -1/2. Factor out the 2 in the denominator. Rewrite 2*x + 1 as 2*(x + 1/2). Check if the denominator is zero. Since 2*(-1/2) + 2 = 1, the limit can be evaluated by direct substitution.✓ Proved
\[ = 1 \]
limitsimplifysimplifysimplifySubstitute x = -1/2 into the expression. Simplify the numerator and denominator. Evaluate cos(0). Final result.✓ Proved
Answer \( 1 \)
The graph of f(x) = cos(2x + 1)/(2x + 2). Two points slide along the curve toward x = -1/2, one from each side; their heights close in on 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to - \frac{1}{2}^+}\left(\frac{\cos{\left(2 x + 1 \right)}}{2 x + 2}\right) \]
limit✓ Proved
\[ = 1 \]
substitutionsimplifylimitPlug in x = -1/2 Compute the arithmetic inside cos(0) = 1✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
algebrasimplifyExpand the squared term. Combine like terms.✓ Proved
\[ = 9 \]
limit-lawalgebraalgebraalgebraEvaluate the expression at the point x = 1/3. Calculate the square and the product. Simplify the first term. Final summation.✓ Proved
Answer \( 9 \)
The graph of f(x) = 9x + (3x + 1)² + 2. Two points slide along the curve toward x = 1/3, one from each side; their heights close in on 9.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{1}{3}^+}\left(9 x + \left(3 x + 1\right)^{2} + 2\right) \]
limitlimitEvaluate each simple limit. Add the results.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
rewritealgebraExpand the square (2*x - 1)**2. Combine like terms.✓ Proved
\[ = 9 \]
limitlimitSubstitute x = 3/2. Compute the numeric value.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
limit-lawApply the quotient rule for limits.✓ Proved
\[ = 1 \]
limitalgebrasimplifysimplifyEvaluate the limits of the numerator and denominator separately. Simplify the expression inside the numerator and denominator. Evaluate the cosine of zero. Final result.✓ Proved
Answer \( 1 \)
The graph of f(x) = cos(2x - 1)/(2x). Two points slide along the curve toward x = 1/2, one from each side; their heights close in on 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{1}{2}^+}\left(\frac{\cos{\left(2 x - 1 \right)}}{2 x}\right) \]
limit-lawSeparate numerator and denominator using the limit law.✓ Proved
\[ = 1 \]
limitsimplifyEvaluate each limit: cos(0)=1 and 2*(1/2)=1. Simplify the fraction 1/1 to get the final value.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Evaluate \( \displaystyle \lim_{x \to \frac{1}{2}} \frac{2 x + 1}{2 x - 3} \).
\[ \lim_{x \to \frac{1}{2}^+}\left(\frac{2 x + 1}{2 x - 3}\right) \]
limitStart with the original limit expression.✓ Proved
\[ = \lim_{x \to \frac{1}{2}^+}\left(2 x + 1\right) \left(\lim_{x \to \frac{1}{2}^+}\left(2 x - 3\right)\right)^{-1} \]
limit-lawApply the quotient rule for limits.✓ Proved
\[ = -1 \]
substitutionalgebraalgebraalgebraSubstitute the value x = 1/2 into the expression. Simplify the terms in the numerator and denominator. Perform the addition and subtraction. Divide the numerator by the denominator.✓ Proved
Answer \( -1 \)
The graph of f(x) = (2x + 1)/(2x - 3). Two points slide along the curve toward x = 1/2, one from each side; their heights close in on -1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{1}{2}^+}\left(\frac{2 x + 1}{2 x - 3}\right) \]
rewriteFactor out 2 from numerator and denominator✓ Proved
\[ = -1 \]
limitDirect substitution gives -1✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
limitSubstitute x = 1 into the expression.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
\[ = \lim_{x \to 3^+}\left(x^{2} + x - 3\right) \]
algebraSimplify the expression inside the limit.✓ Proved
\[ = 9 \]
limitEvaluate the simplified polynomial at x=3.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
Evaluate \( \displaystyle \lim_{x \to 0} \frac{\cos{\left(3 x \right)}}{3 x + 1} \).
\[ \lim_{x \to 0^+}\left(\frac{\cos{\left(3 x \right)}}{3 x + 1}\right) \]
limitStart with the given limit.✓ Proved
\[ = \lim_{x \to 0^+} 1 \]
substitutionsimplifySubstitute x = 0 into the expression. Evaluate the constants in the expression.✓ Proved
\[ = 1 \]
limitThe limit evaluates to 1.✓ Proved
Answer \( 1 \)
The graph of f(x) = cos(3x)/(3x + 1). Two points slide along the curve toward x = 0, one from each side; their heights close in on 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to 0^+}\left(\frac{\cos{\left(3 x \right)}}{3 x + 1}\right) \]
limit✓ Proved
\[ = \lim_{x \to 0^+} \cos{\left(3 x \right)} \left(\lim_{x \to 0^+}\left(3 x + 1\right)\right)^{-1} \]
limit-lawSeparate numerator and denominator limits✓ Proved
\[ = 1 \]
limitlimitcos(3*x) -> 1, 3*x+1 -> 1 as x->0 Final value of the limit✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
limitalgebrasimplifysimplifySince the function is continuous at x = 3/2, we can evaluate by direct substitution. Multiply 2 by 3/2. Add the terms inside the square root. Calculate the square root.✓ Proved
Answer \( 3 \)
The graph of f(x) = sqrt(2x + 6). Two points slide along the curve toward x = 3/2, one from each side; their heights close in on 3.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{3}{2}^+} \sqrt{2 x + 6} \]
limit✓ Proved
\[ = 3 \]
limitSubstitute x = 3/2 into the expression.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
limitStart with the original limit expression.✓ Proved
\[ = 1 \]
limitsimplifysimplifysimplifySince the denominator is non-zero, we can evaluate the limit by direct substitution. Simplify the argument of the cosine function. Evaluate the cosine of zero. Final simplification.✓ Proved
Answer \( 1 \)
The graph of f(x) = cos(x - 1)/x. Two points slide along the curve toward x = 1, one from each side; their heights close in on 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
limit-lawSeparate the numerator and denominator limits✓ Proved
\[ = 1 \]
limitlimitEvaluate each limit Final value of the limit✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
\[ \lim_{x \to \frac{2}{3}^+}\left(\frac{3 x}{3 x - 4}\right) \]
limitStart with the given limit.✓ Proved
\[ = \lim_{x \to \frac{2}{3}^+} -1 \]
substitutionsimplifysimplifySubstitute the value x = 2/3 into the expression. Simplify the numerator and denominator. Perform the division in the denominator.✓ Proved
\[ = -1 \]
limitEvaluate the final numerical value.✓ Proved
Answer \( -1 \)
The graph of f(x) = 3x/(3x - 4). Two points slide along the curve toward x = 2/3, one from each side; their heights close in on -1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to \frac{2}{3}^+}\left(\frac{3 x}{3 x - 4}\right) \]
limit✓ Proved
\[ = -1 \]
limitlimitSubstitute the point into the continuous function. Simplify the numeric expression.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
limitsimplifysimplifySince the function is continuous at x = 4, we can evaluate by direct substitution. Simplify the expression inside the square root. Calculate the square root.✓ Proved
Answer \( 3 \)
The graph of f(x) = sqrt(x + 5). Two points slide along the curve toward x = 4, one from each side; their heights close in on 3.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to 4^+} \sqrt{x + 5} \]
limit✓ Proved
\[ = 3 \]
limitThe limit equals the value of the continuous function at x = 4.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
limitStart with the original limit expression.✓ Proved
\[ = 1 \]
limitsimplifysimplifySince the denominator is non-zero, we can evaluate the limit by direct substitution. Evaluate the numerator and denominator. Final result.✓ Proved
Answer \( 1 \)
The graph of f(x) = cos(x)/(x + 1). Two points slide along the curve toward x = 0, one from each side; their heights close in on 1.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
limitcos(0)=1 and 0+1=1, so the limit equals 1.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
\[ \lim_{x \to 2^+}\left(x^{2} + 3 x - 1\right) \]
limitIdentify the limit to be evaluated.✓ Proved
\[ = 9 \]
limitSince the function is a polynomial, it is continuous, so we can evaluate by direct substitution.✓ Proved
Answer \( 9 \)
The graph of f(x) = x² + 3x - 1. Two points slide along the curve toward x = 2, one from each side; their heights close in on 9.
A second solution, written separately
By gpt-oss:20b, without seeing the first. SymPy checked every line.
\[ \lim_{x \to 2^+}\left(x^{2} + 3 x - 1\right) \]
limit✓ Proved
\[ = 9 \]
limitSubstitute x = 2 into the polynomial.✓ Proved
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify
✓ Nihil obstat Every line of this solution was proved by the computer algebra system SymPy. The answer was also checked a second way, without looking at the solution. Reviewers found nothing wrong with the explanation. The full receipt ·
How we verify