# Thread:

1. ## Sketch of a limit proof.  Is this legal?

I'm going to start by saying I wish I knew all the tags to make this look nice.

The question is prove the lim (1/n - 1/(n+1)) = 0
My sketch of this is ((1(n+1)-n)/n(n+1))=0 which leads to ((n+1-n)/n(n+1)) which leads to (1/n(n+1)) and finally (1/((n^2)+n)) which I wholeheartedly expect converges to 0.

Now how do I make this formal enough to convince someone else, or am I off the mark?

2. ## Re: Sketch of a limit proof.  Is this legal?

Originally Posted by CountingPenguins
I'm going to start by saying I wish I knew all the tags to make this look nice.

The question is prove the lim (1/n - 1/(n+1)) = 0
My sketch of this is ((1(n+1)-n)/n(n+1))=0 which leads to ((n+1-n)/n(n+1)) which leads to (1/n(n+1)) and finally (1/((n^2)+n)) which I wholeheartedly expect converges to 0.

Now how do I make this formal enough to convince someone else, or am I off the mark?
Dear CountingPenguins,

I hope you want to prove, $\lim_{n\rightarrow\infty}\left(\frac{1}{n}-\frac{1}{1+n}\right)=0.$ If that is the case the best method is to use the definition of limit of a function.

3. ## Re: Sketch of a limit proof.  Is this legal?

Originally Posted by CountingPenguins
I'm going to start by saying I wish I knew all the tags to make this look nice.

The question is prove the lim (1/n - 1/(n+1)) = 0
My sketch of this is ((1(n+1)-n)/n(n+1))=0 which leads to ((n+1-n)/n(n+1)) which leads to (1/n(n+1)) and finally (1/((n^2)+n)) which I wholeheartedly expect converges to 0.

Now how do I make this formal enough to convince someone else, or am I off the mark?
The precise definition of a limit is that $\displaystyle \lim_{x \to \infty}f(x) = L$ if $\displaystyle x > N \implies |f(x) - L| < \epsilon$.

So in this case, you are hoping to show $\displaystyle \lim_{n \to \infty}\left(\frac{1}{n} - \frac{1}{n + 1}\right) = 0$, in other words, that $\displaystyle n > N \implies \left|\frac{1}{n} - \frac{1}{n + 1} - 0\right| < \epsilon$.

$\displaystyle \begin{align*} \left|\frac{1}{n} - \frac{1}{n + 1}\right| &< \epsilon \\ \left|\frac{1}{n(n + 1)}\right| &< \epsilon \\ \frac{1}{|n(n + 1)|} &< \epsilon \\ |n(n + 1)| &> \frac{1}{\epsilon} \\ |n^2 + n| &> \frac{1}{\epsilon} \\ \left|n^2 + n + \left(\frac{1}{2}\right)^2 - \left(\frac{1}{2}\right)^2 \right| &> \frac{1}{\epsilon} \\ \left|\left(n + \frac{1}{2}\right)^2 - \frac{1}{4}\right| &> \frac{1}{\epsilon} \\ \left|n + \frac{1}{2}\right|^2 + \left|-\frac{1}{4}\right| &> \frac{1}{\epsilon} \textrm{ by the triangle inequality} \\ \left|n + \frac{1}{2}\right|^ 2 &> \frac{1}{\epsilon} - \frac{1}{4} \\ \left|n + \frac{1}{2}\right| &> \sqrt{\frac{1}{\epsilon} - \frac{1}{4}} \\ n + \frac{1}{2} &> \sqrt{\frac{1}{\epsilon} - \frac{1}{4}}\textrm{ since everything is positive} \\ n &> \sqrt{\frac{1}{\epsilon} - \frac{1}{4}} - \frac{1}{2}\end{align*}$

So by making $\displaystyle N = \sqrt{\frac{1}{\epsilon} - \frac{1}{4}} - \frac{1}{2}$ the proof will follow.

4. ## Re: Sketch of a limit proof.  Is this legal?

$\frac{1}{n(n+1)}<\frac{1}{{{n}^{2}}}<\epsilon ,$ so having $N=\left\lfloor \frac{1}{\sqrt{\epsilon }} \right\rfloor +1,$ also works for all $\epsilon>0.$

5. ## Re: Sketch of a limit proof.  Is this legal?

Thank you for your response. How did you know to add and then subtract (1/2)^2? Does that knowledge come with experience or is there a trick to it? Please let me know. Thanks.

6. ## Re: Sketch of a limit proof.  Is this legal?

So by making $\displaystyle N = \sqrt{\frac{1}{\epsilon} - \frac{1}{4}} - \frac{1}{2}$ the proof will follow
And natural $N$ is $\displaystyle \left \lfloor \sqrt{\frac{1}{\epsilon} - \frac{1}{4}} - \frac{1}{2} \right \rfloor +1$

7. ## Re: Sketch of a limit proof.  Is this legal?

Originally Posted by CountingPenguins
Thank you for your response. How did you know to add and then subtract (1/2)^2? Does that knowledge come with experience or is there a trick to it? Please let me know. Thanks.
Completing the square. It's a powerful method when dealing with quadratic inequalities.
{"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": 13, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "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": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9323275685310364, "perplexity_flag": "middle"}