# Thread: Proof - Limit of a function

1. ## Proof - Limit of a function

Suppose that f(x) = mx + b with m > 0. Let c be a real number. Prove that
lim x-> c (f(x)) = mc + b.

2. What ideas have you had so far?

3. I know that |mx + b -(mc + b)| < \epsilon. So |mx + b -mc -b| < \epsilon. Then |mx -mc| < \epsilon. This can be factored as |m||x-c|<\epsilon. But I am not sure where to go from h ere.

4. All that looks good so far. In looking at the definition of limit, you've got

$\displaystyle{\lim_{x\to c}f(x)=L}$ if for every $\epsilon>0$ there exists a $\delta>0$ such that if $0<|x-c|<\delta$, then $|f(x)-L|<\epsilon.$

Overall, your goal is to find a $\delta(\epsilon)$ such that these conditions are satisfied. So, what do you want $\delta$ to be?

5. Ah, so if I let \delta = \epsilon/m, then |m(x-c)|<\epsilon which is what I am trying to prove. Right? Thank you!

6. Close. Note that $\delta>0.$ So that requires what modification?

7. \epsilon/m > 0.

8. Oh, you're right. The problem assumed positive slopes. I was led astray by your unnecessary absolute values in post # 3. If the problem allowed negative slopes, you could just slap on absolute values and you'd be good to go.

So... a final proof looks like what?

9. Let \epsilon > 0. Choose \delta = \epsilon/m. Now if 0<|x-c|<\delta, then -\delta < x-c < \delta.
-\epsilon/m < x-c < \epsilon
-\epsilon < m(x-c) < \epsilon
|m(x-c)| < \epsilon
|mx - mc| < \epsilon
|mx + b - mc - b| < \epsilon
|mx + b - (mc + b)| < \epsilon
==> Lim x->c (mx + b) = mc + b.
Q.E.D.

I probably have too many of my initial calculations in there, but I want to make sure it flows from start to finish.

10. Looks good to me. Your initial calculations in post # 3 are the ones that you have to reverse in the actual proof. So this is a very typical delta-epsilon proof.

I'd say you're done!
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 0, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 8, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "math_score": 0.9334598779678345, "perplexity": 1281.0864907367677}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "warc_path": "s3://commoncrawl/crawl-data/CC-MAIN-2016-44/segments/1476988721387.11/warc/CC-MAIN-20161020183841-00276-ip-10-171-6-4.ec2.internal.warc.gz"}