{"id":2742,"date":"2014-07-13T04:59:07","date_gmt":"2014-07-13T04:59:07","guid":{"rendered":"http:\/\/www.rationalargumentator.com\/index\/?p=2742"},"modified":"2014-07-13T05:00:31","modified_gmt":"2014-07-13T05:00:31","slug":"epsilon-n-proof","status":"publish","type":"post","link":"https:\/\/www.rationalargumentator.com\/index\/blog\/2014\/07\/epsilon-n-proof\/","title":{"rendered":"Epsilon-N Proof of a Limit of a Sequence: Lim[2n\/(3n+2)] = 2\/3 – Article by G. Stolyarov II"},"content":{"rendered":"
\n
\"The<\/div>\n<\/div>\n
G. Stolyarov II
\n<\/big><\/big><\/strong><\/span><\/div>\n
July 12, 2014<\/span>
\n<\/big><\/div>\n
******************************<\/div>\n
\n
Note from the Author: <\/strong>This proof was originally published on Associated Content (subsequently, Yahoo! Voices) in 2007.\u00a0 The article earned over 17,250 page views on Associated Content\/Yahoo! Voices, and I seek to preserve it as a valuable resource for readers, subsequent to the imminent closure of Yahoo! Voices. Therefore, this essay is being published directly on The Rational Argumentator for the first time.\u00a0 ***<\/span><\/em><\/div>\n
***<\/span><\/div>\n
~ G. Stolyarov II, July 12, 2014<\/em><\/div>\n
***<\/span><\/div>\n<\/div>\n

This is the first in a series of formal mathematical proofs I intend to present in order to assist anybody who has ventured into the challenging but fascinating world of advanced calculus and real analysis. I start with a fairly basic proof: the limit of the nth term of a sequence as n becomes increasingly large. This is an epsilon-N proof, which uses the following definition: lim(n approaches \u221e)xn<\/sub>= L iff for each real number \u03b5>0, there exists a positive integer N(\u03b5) such that if n \u2265 N(\u03b5), then \u2502xn<\/sub>-L\u2502< \u03b5, i.e., L- \u03b5 < xn<\/sub>< L+ \u03b5.<\/p>\n

The epsilon-N proof has two component steps; first, we assume that our \u03b5>0 is given and work backward to transform the inequality \u2502xn<\/sub>-L\u2502< \u03b5 in order to find an appropriate value of N(\u03b5) that corresponds to a given value of \u03b5. Then, using the value of N(\u03b5) we found, we work forward to show that if n \u2265 N(\u03b5), then \u2502xn<\/sub>-L\u2502< \u03b5.<\/p>\n

The proof also uses the Archimedean Property, which states that the set of positive integers is not bounded above. There are actually four equivalent conditions that are known as the Archimedean Property:<\/p>\n

1. If a,b are in R, a>0, b>0, then there is a positive integer n such that na>b<\/p>\n

2. The set of positive integers is not bounded above.<\/p>\n

3. For each real number x, there exists an integer n such that n \u2264x < n+1<\/p>\n

4. For each positive real number x, there exists a positive integer n such that 1\/n \u2264 x<\/p>\n

Prove: lim(n<\/b> approaches \u221e)[2n\/(3n+2)] = 2\/3<\/b><\/p>\n

Proof:<\/b> Let \u03b5>0 be given. Find N(\u03b5)\u0454 Z+<\/sup> such that if N(\u03b5) < n, then \u25022n\/(3n+2)-2\/3\u2502< \u03b5.<\/p>\n

Working backward to transform the inequality: \u25022n\/(3n+2)-2\/3\u2502< \u03b5<\/p>\n

\u25026n\/[3(3n+2)]-2(3n+2)\/[3(3n+2)]\u2502< \u03b5<\/p>\n

\u2502[6n-2(3n+2)]\/[3(3n+2)]\u2502< \u03b5<\/p>\n

\u2502[6n-6n-4]\/[3(3n+2)]\u2502< \u03b5<\/p>\n

\u2502-4\/[3(3n+2)]\u2502< \u03b5<\/p>\n

Since \u03b5>0, (3n+2)>0, the above inequality is the same as<\/p>\n

4\/[3(3n+2)] < \u03b5<\/p>\n

4\/(3\u03b5) < (3n+2)<\/p>\n

4\/(3\u03b5)- 2 < 3n<\/p>\n

4\/(9\u03b5)- 2\/3 < n<\/p>\n

Now I work forward to prove the original result:<\/p>\n

Let N(\u03b5)\u0454 Z+<\/sup> \u044d 4\/(9\u03b5)- 2\/3 < N(\u03b5).<\/p>\n

Since 4\/(9\u03b5)- 2\/3 is a real number, by the Archimedean Property it must be the case that some integer exists which is greater than that real number-since the set of positive integers is not bounded above. Here, we call that integer N(\u03b5).<\/p>\n

For all n>N, if 4\/(9\u03b5)- 2\/3 < N < n, then:<\/p>\n

4\/(3\u03b5)- 2 < 3n<\/p>\n

4\/(3\u03b5) < (3n+2)<\/p>\n

4\/[3(3n+2)] < \u03b5<\/p>\n

\u2502-4\/[3(3n+2)]\u2502< \u03b5<\/p>\n

\u25026n\/[3(3n+2)]-2(3n+2)\/[3(3n+2)]\u2502< \u03b5<\/p>\n

\u25022n\/(3n+2)-2\/3\u2502< \u03b5<\/b><\/p>\n

I have demonstrated the above inequality, which is sufficient to demonstrate that lim(n<\/b> approaches \u221e)[2n\/(3n+2)] = 2\/3.<\/b><\/p>\n

I have hence proved what was desired. Another way to express that the desired objective has been obtained (which I shall use in future proofs of this sort) is the abbreviation<\/p>\n

“Q. E. D.” of the Latin “Quod Erat Demonstraterum,” which means “that which was to be demonstrated.”<\/p>\n","protected":false},"excerpt":{"rendered":"

G. Stolyarov II July 12, 2014 ****************************** Note from the Author: This proof was originally published on Associated Content (subsequently, Yahoo! Voices) in 2007.\u00a0 The article earned over 17,250 page views on Associated Content\/Yahoo! Voices, and I seek to preserve it as a valuable resource for readers, subsequent to the imminent closure of Yahoo! Voices. Therefore, this essay is being published directly on The Rational Argumentator for the first time.\u00a0 *** *** ~ G. Stolyarov II, July 12, 2014 ***…<\/p>\n

Read More Read More<\/span><\/a><\/p>\n","protected":false},"author":1,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[292],"tags":[3140,3142,3094,3137,40,2550,3138,3145,3144,3141,3143,3139],"class_list":["post-2742","post","type-post","status-publish","format-standard","hentry","category-mathematics","tag-advanced-calculus","tag-archimedean-property","tag-calculus","tag-epsilon-n-proof","tag-g-stolyarov-ii","tag-integers","tag-limit","tag-mathematical-proof","tag-proof","tag-real-analysis","tag-real-numbers","tag-sequence"],"_links":{"self":[{"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/posts\/2742","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/comments?post=2742"}],"version-history":[{"count":2,"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/posts\/2742\/revisions"}],"predecessor-version":[{"id":2744,"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/posts\/2742\/revisions\/2744"}],"wp:attachment":[{"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/media?parent=2742"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/categories?post=2742"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.rationalargumentator.com\/index\/wp-json\/wp\/v2\/tags?post=2742"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}