Proof of Various Limit Properties — Question 8

PDF ↗

Question 8

Assume that limx→af(x)=Landf(x)≥0for all x near a.\lim_{x\to a} f(x)=L \quad\text{and}\quad f(x)\ge 0 \quad\text{for all }x\text{ near }a.

Prove that L≥0.L\ge 0.

Original worksheet page 1: question and worked solution for 7-1-008
Show solutionHide solution

Question 8 - Solution

We prove this by contradiction.

Assume, to the contrary, that L<0.L<0.

Then the positive number ε=−L2\varepsilon=\frac{-L}{2} satisfies ε>0\varepsilon>0.

Since lim⁡x→af(x)=L\lim_{x\to a} f(x)=L, there exists δ>0\delta>0 such that whenever 0<|x−a|<δ,0<|x-a|<\delta, we have |f(x)−L|<ε.|f(x)-L|<\varepsilon.

This inequality implies f(x)<L+ε=L+−L2=L2.f(x)<L+\varepsilon = L+\frac{-L}{2} = \frac{L}{2}.

Because L<0L<0, we have L2<0.\frac{L}{2}<0.

Thus, for all xx with 0<|x−a|<δ0<|x-a|<\delta, f(x)<0.f(x)<0.

This contradicts the assumption that f(x)≥0f(x)\ge 0 for all xx near aa.

Therefore, our assumption that L<0L<0 must be false. We conclude that L≥0.L\ge 0.

Original worksheet page 2: question and worked solution for 7-1-008

Original worksheet layout. Use Enlarge or open the PDF for a closer view.