Re: help, epsilon - N proof of a limit of a sequence



In article <a3e7a$48d13cdf$c650990a$15723@xxxxxxxxxxxxxxxxxx>,
TheGist <thegist@xxxxxxxxxx> wrote:

Tim Smith wrote:
In article <thegist-0E51F7.23083014092008@xxxxxxxxxxxxxxxxxx>,
TheGist <thegist@xxxxxxxxxx> wrote:

AArgh, these radical expressions are a giant pain.
Here is another attempt at one...
Show lim n / (sqrt(n^2 + 3)) = 1
Solution:
to find N such that |(n / (sqrt(n^2 +3 )) - 1 | < epsilon
(n / (sqrt(n^2 + 3)) - ((sqrt(n^2 + 3) / (sqrt(n^2 + 3))
= (n - sqrt(n^2 + 3)) / (sqrt(n^2 + 3)
= (n(sqrt(n^2 +3 )) - n^2 + 3) / (n^2 + 3)
This last expression is <= 1/n
That is,
n(sqrt(n^2 + 3)) - n^2 + 3) / (n^2 + 3) < 1/n
So, if N > 1/epsilon, then for all N > n
|(n / (sqrt(n^2 + 3)) -1| < epsilon < 1/N < 1/n < epsilon

Does this look right?
I think I am getting the hang of this... ;)

This gives a tighter bound, and seems clearer to me:

abs( 1 - n/sqrt(n^2+3) )
ok, one more question...
Why did you do this instead of
abs(n/sqrt(n^2+3) -1) ?
I think I might be missing something very critical in my understanding
my not seeing why...

abs(x-y) = abs(y-x) for all x, y, so either order gives the same result.

--
--Tim Smith
.



Relevant Pages

  • Re: [PATCH] Return ENOEXEC, not ENOENT, if a binarys or scripts interpreter doesnt exist.
    ... The current behavior is only useful to people who have an understanding of how interpreters and binaries work on Linux. ... More advanced users might at that point try and run "ldd" on the binary (which will also fail, thanks to a missing interpreter). ... Massachusetts Institute of Technology ...
    (Linux-Kernel)
  • Re: Missing: Stepha Henry
    ... is lots of news coverage about this missing woman. ... Kelsey Smith vanished from a Target parking lot on June 2nd. ... Stepha Henry vanished while on vacation in Florida on May 29th. ... Henry has gotten barely a mention from any of the major media outlets. ...
    (alt.true-crime)
  • Re: ADUC Queries - Members of Security Group
    ... understanding of how this technology works. ... formats and it appears all of the wrong ones. ...
    (microsoft.public.windows.server.active_directory)
  • Re: [PO] halting problem reading comprehension
    ... >> Where I'm I missing something? ... Apparently analytical truth is not one of them.' ... and Peter can no more learn to modify his ... >We can't give Peter understanding of the issues, ...
    (comp.theory)
  • Re: [PO] halting problem reading comprehension
    ... >> Where I'm I missing something? ... Apparently analytical truth is not one of them.' ... and Peter can no more learn to modify his ... >We can't give Peter understanding of the issues, ...
    (sci.logic)