<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20241031//EN" "JATS-journalpublishing1-4.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" article-type="research-article" dtd-version="1.4" xml:lang="en">
  <front>
    <journal-meta>
      <journal-id journal-id-type="publisher-id">jamp</journal-id>
      <journal-title-group>
        <journal-title>Journal of Applied Mathematics and Physics</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2327-4379</issn>
      <issn pub-type="ppub">2327-4352</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/jamp.2026.146120</article-id>
      <article-id pub-id-type="publisher-id">jamp-152193</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Physics</subject>
          <subject>Mathematics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Theoretical Foundations of Sequence Convergence in Real Analysis</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0009-0004-7416-9252</contrib-id>
          <name name-style="western">
            <surname>Salonga</surname>
            <given-names>Cris Angelo P.</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0000-0002-2378-6283</contrib-id>
          <name name-style="western">
            <surname>Olivo</surname>
            <given-names>John Closter F.</given-names>
          </name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <contrib contrib-type="author">
          <contrib-id contrib-id-type="orcid">0009-0004-0186-7455</contrib-id>
          <name name-style="western">
            <surname>Guzman</surname>
            <given-names>Arcie Toquero De</given-names>
          </name>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Department of Computer Engineering, School of Engineering and Technology, National University Philippines, Baliwag, Philippines </aff>
      <aff id="aff2"><label>2</label> Department of Graduate Studies, Core Gateway College, Inc., San Jose City, Philippines </aff>
      <aff id="aff3"><label>3</label> Department of Graduate School, Nueva Ecija University of Science and Technology, Cabanatuan City, Philippines </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The authors declare no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>11</day>
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>06</month>
        <year>2026</year>
      </pub-date>
      <volume>14</volume>
      <issue>06</issue>
      <fpage>2440</fpage>
      <lpage>2448</lpage>
      <history>
        <date date-type="received">
          <day>18</day>
          <month>05</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>26</day>
          <month>06</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>29</day>
          <month>06</month>
          <year>2026</year>
        </date>
      </history>
      <permissions>
        <copyright-statement>© 2026 by the authors and Scientific Research Publishing Inc.</copyright-statement>
        <copyright-year>2026</copyright-year>
        <license license-type="open-access">
          <license-p> This article is an open access article distributed under the terms and conditions of the Creative Commons Attribution (CC BY) license ( <ext-link ext-link-type="uri" xlink:href="https://creativecommons.org/licenses/by/4.0/">https://creativecommons.org/licenses/by/4.0/</ext-link> ). </license-p>
        </license>
      </permissions>
      <self-uri content-type="doi" xlink:href="https://doi.org/10.4236/jamp.2026.146120">https://doi.org/10.4236/jamp.2026.146120</self-uri>
      <abstract>
        <p>Convergence serves as the cornerstone of Real Analysis, providing the rigorous framework necessary for the formalization of limits, continuity, and calculus. This review paper examines the fundamental properties of real-valued sequences, with particular emphasis on the relationship between boundedness and monotonicity. Key results, including the Monotone Convergence Theorem and the Bolzano-Weierstrass Theorem, are analyzed to demonstrate how sequence behavior reflects the completeness structure of the real number system. In addition to standard definitions and proofs, the paper incorporates recursive and nontrivial examples to illustrate deeper applications of convergence. The discussion further connects classical convergence theory with modern applications in numerical analysis, dynamical systems, chaos theory, and computational mathematics. Through this synthesis, the paper highlights the continuing importance of convergence in both theoretical and applied mathematical research.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Real Numbers</kwd>
        <kwd>Sequences</kwd>
        <kwd>Convergence</kwd>
        <kwd>Monotone Convergence Theorem</kwd>
        <kwd>Bolzano-Weierstrass Theorem</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>In mathematics, sequences are ordered lists of numbers that follow a specific rule or pattern. Investigating the behavior of sequences as the index increases indefinitely leads to the concept of convergence, which forms the basis of limits and advanced analytical reasoning. The study of convergence is essential in understanding limits and many advanced topics in analysis [<xref ref-type="bibr" rid="B1">1</xref>].</p>
      <p>Within the field of Real Analysis, convergence provides a rigorous logical framework necessary for establishing mathematical proofs. Classical theorems concerning limits rely heavily on convergence concepts, making them foundational topics in undergraduate and graduate mathematics curricula [<xref ref-type="bibr" rid="B2">2</xref>]. Beyond its traditional role in calculus, convergence has become increasingly important in contemporary mathematical research, where it appears in statistical convergence, computational methods, optimization theory, and functional analysis [<xref ref-type="bibr" rid="B3">3</xref>][<xref ref-type="bibr" rid="B4">4</xref>].</p>
      <p>This paper is intended as a review and synthesis of foundational convergence theory in Real Analysis. Rather than presenting new theorems, the paper aims to consolidate classical results while demonstrating how these ideas remain relevant in modern mathematical applications. By integrating both elementary and advanced examples, the discussion illustrates how convergence bridges pure and applied mathematics.</p>
      <p>This review synthesizes classical and contemporary literature on sequence convergence drawn primarily from standard real analysis texts and recent research articles in analysis and applied mathematics. Sources were selected based on their foundational importance and relevance to modern applications such as numerical analysis and dynamical systems. The paper is organized as follows: Section 2 introduces preliminary concepts, Sections 3-5 discuss convergence, boundedness, and monotonicity, Sections 6 and 7 present major convergence theorems, and Section 8 highlights key applications. This structure emphasizes both theorical development and practical relevance.</p>
    </sec>
    <sec id="sec2">
      <title>2. Preliminaries</title>
      <sec id="sec2dot1">
        <title>2.1. Real Numbers</title>
        <p>The system of real numbers, denoted by <inline-formula><mml:math display="inline"><mml:mi> ℝ </mml:mi></mml:math></inline-formula> , consists of rational and irrational numbers. One of its most significant properties is completeness, which states that every nonempty subset of <inline-formula><mml:math display="inline"><mml:mi> ℝ </mml:mi></mml:math></inline-formula> that is bounded above possesses a least upper bound or supremum [<xref ref-type="bibr" rid="B5">5</xref>].</p>
        <p>The completeness property distinguishes <inline-formula><mml:math display="inline"><mml:mi> ℝ </mml:mi></mml:math></inline-formula> from the rational number <inline-formula><mml:math><mml:mi> ℚ </mml:mi></mml:math></inline-formula> and provides the theoretical foundation for convergence theorems. Without completeness, many important analytical results—including the convergence of bounded monotone sequences—would fail.</p>
      </sec>
      <sec id="sec2dot2">
        <title>2.2. Sequences</title>
        <p>The A sequence is a function from the natural numbers <inline-formula><mml:math display="inline"><mml:mi> ℕ </mml:mi></mml:math></inline-formula> to the real numbers <inline-formula><mml:math display="inline"><mml:mi> ℝ </mml:mi></mml:math></inline-formula> . A sequence is usually written as</p>
        <disp-formula id="FD1">
          <label>(1)</label>
          <mml:math>
            <mml:mrow>
              <mml:msubsup>
                <mml:mrow>
                  <mml:mrow>
                    <mml:mo>{</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>a</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>}</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:mi>n</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mi>∞</mml:mi>
              </mml:msubsup>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>where <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> represents the nth term.</p>
        <p>Sequences serve as the foundational structures for more advanced analytical objects such as infinite series, function spaces, and iterative numerical algorithms [<xref ref-type="bibr" rid="B6">6</xref>]. In many practical applications, sequences arise naturally from repeated approximation procedures.</p>
        <p>Example:</p>
        <disp-formula id="FD2">
          <label>(2)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>a</mml:mi>
                <mml:mi>n</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mi>n</mml:mi>
              </mml:mfrac>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Sequence:</p>
        <disp-formula id="FD3">
          <label>(3)</label>
          <mml:math>
            <mml:mrow>
              <mml:mn>1</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>2</mml:mn>
              </mml:mfrac>
              <mml:mo>,</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>3</mml:mn>
              </mml:mfrac>
              <mml:mo>,</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mn>4</mml:mn>
              </mml:mfrac>
              <mml:mo>,</mml:mo>
              <mml:mo>⋯</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
      </sec>
    </sec>
    <sec id="sec3">
      <title>3. Convergence of Sequences</title>
      <sec id="sec3dot1">
        <title>Definition of Convergence</title>
        <p>Define A sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> converges to a real number <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> if:</p>
        <disp-formula id="FD4">
          <label>(4)</label>
          <mml:math>
            <mml:mrow>
              <mml:mo>∀</mml:mo>
              <mml:mi>ϵ</mml:mi>
              <mml:mo>&gt;</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>,</mml:mo>
              <mml:mo>∃</mml:mo>
              <mml:mi>N</mml:mi>
              <mml:mo>∈</mml:mo>
              <mml:mi>ℕ</mml:mi>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>for all <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mi> N </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
        <p>This definition, known as the <italic>ε</italic><italic>-</italic><italic>N</italic> definition of convergence, provides a precise and characterization of the limiting behavior of sequences [<xref ref-type="bibr" rid="B7">7</xref>][<xref ref-type="bibr" rid="B8">8</xref>]. It formalizes the intuitive idea that the terms of a convergent sequence become arbitrarily close to a fixed real number.</p>
        <p>Example:</p>
        <p>Consider the sequence</p>
        <disp-formula id="FD5">
          <label>(5)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>a</mml:mi>
                <mml:mi>n</mml:mi>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mi>n</mml:mi>
              </mml:mfrac>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>To show that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> → </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , let <inline-formula><mml:math><mml:mrow><mml:mi> ε </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . Choose <inline-formula><mml:math><mml:mrow><mml:mi> N </mml:mi><mml:mo> &gt; </mml:mo><mml:mfrac><mml:mn> 1 </mml:mn><mml:mi> ε </mml:mi></mml:mfrac></mml:mrow></mml:math></inline-formula> . Then for all <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mi> N </mml:mi></mml:mrow></mml:math></inline-formula> ,</p>
        <disp-formula id="FD6">
          <label>(6)</label>
          <mml:math>
            <mml:mrow>
              <mml:mrow>
                <mml:mo>|</mml:mo>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mi>n</mml:mi>
                  </mml:mfrac>
                  <mml:mo>−</mml:mo>
                  <mml:mn>0</mml:mn>
                </mml:mrow>
                <mml:mo>|</mml:mo>
              </mml:mrow>
              <mml:mo>=</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mi>n</mml:mi>
              </mml:mfrac>
              <mml:mo>≤</mml:mo>
              <mml:mfrac>
                <mml:mn>1</mml:mn>
                <mml:mi>N</mml:mi>
              </mml:mfrac>
              <mml:mo>&lt;</mml:mo>
              <mml:mi>ε</mml:mi>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>Hence, the sequence converges to 0.</p>
        <p>The significance of this definition extends beyond elementary examples. In numerical methods and approximation theory, convergence guarantees that iterative approximations become increasingly accurate representations of the desired quantity.</p>
      </sec>
    </sec>
    <sec id="sec4">
      <title>4. Bounded Sequences</title>
      <p>A sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is bounded if there exists a real number <inline-formula><mml:math><mml:mrow><mml:mi> M </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> such that</p>
      <disp-formula id="FD7">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>|</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>|</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mi>M</mml:mi>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>for all <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>Boundedness is an important property because it prevents divergence to infinity and is often a prerequisite for convergence-related theorems. However, boundedness alone does not guarantee convergence, emphasizing the need for additional structural conditions such as monotonicity [<xref ref-type="bibr" rid="B2">2</xref>].</p>
      <p>Example:</p>
      <p>Consider the sequence</p>
      <disp-formula id="FD8">
        <label>(8)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This sequence is bounded because its values remain between −1 and 1.</p>
      <p>Nevertheless, the sequence does not converge because it oscillates indefinitely between two distinct values.</p>
      <p>This example demonstrates that boundedness controls the magnitude of sequence terms but does not necessarily regulate their long-term behavior.</p>
    </sec>
    <sec id="sec5">
      <title>5. Monotone Sequences</title>
      <p>A sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is monotone increasing if</p>
      <disp-formula id="FD9">
        <label>(9)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>≤</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>for all <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>Similarly, a sequence <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> { </mml:mo><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> } </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is monotone decreasing if</p>
      <disp-formula id="FD10">
        <label>(10)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>≥</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>for all <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ∈ </mml:mo><mml:mi> ℕ </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>Monotonicity describes the directional behavior of sequences and plays a critical role in establishing convergence when combined with boundedness [<xref ref-type="bibr" rid="B6">6</xref>]. Monotone sequences frequently arise in recursive definitions and iterative approximation methods used in computational mathematics.</p>
      <p>Example (Newton’s Method)</p>
      <p>Consider the recursively defined sequence</p>
      <disp-formula id="FD11">
        <label>(11)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>2</mml:mn>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>a</mml:mi>
                      <mml:mi>n</mml:mi>
                    </mml:msub>
                  </mml:mrow>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This sequence is generated by Newton’s Method for approximating <inline-formula><mml:math><mml:mrow><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> . Computing initial terms:</p>
      <disp-formula id="FD12">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1.5</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>≈</mml:mo>
            <mml:mn>1.4167</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>≈</mml:mo>
            <mml:mn>1.4142.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>It can be shown that for <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , the sequence is monotone decreasing and bounded below by <inline-formula><mml:math><mml:mrow><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> . Hence, it converges.</p>
      <p>Taking the limits, let <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mo> = </mml:mo><mml:mi> lim </mml:mi><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . Then,</p>
      <disp-formula id="FD13">
        <label>(13)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>L</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>L</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>2</mml:mn>
                  <mml:mi>L</mml:mi>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which implies <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> L </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , and therefore <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mo> = </mml:mo><mml:msqrt><mml:mn> 2 </mml:mn></mml:msqrt></mml:mrow></mml:math></inline-formula> .</p>
      <p>This example illustrates how monotone bounded sequences naturally arise in numerical methods and converge to meaningful limits.</p>
    </sec>
    <sec id="sec6">
      <title>6. Monotone Convergence Theorem</title>
      <p>The Monotone Convergence Theorem states:</p>
      <p><bold>Every bounded monotone sequence of real numbers converges.</bold></p>
      <p>This theorem is a directly from the completeness property of <inline-formula><mml:math><mml:mi> ℝ </mml:mi></mml:math></inline-formula> [<xref ref-type="bibr" rid="B5">5</xref>]. If a sequence is increasing and bounded above, then the set of its terms possesses a supremum, and the sequence converges to that supremum. Similarly, a decreasing sequence bounded below converges to its infimum.</p>
      <p>The theorem is particularly important in analysis because it guarantees convergence without requiring explicit computation of the limit. In calculus and numerical analysis, iterative procedures often produce monotone bounded sequences whose convergence is ensured by this theorem [<xref ref-type="bibr" rid="B1">1</xref>][<xref ref-type="bibr" rid="B4">4</xref>].</p>
      <p><bold>Example 1</bold></p>
      <p>Consider the sequence</p>
      <disp-formula id="FD14">
        <label>(14)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mi>n</mml:mi>
            </mml:mfrac>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The sequence is increasing because</p>
      <disp-formula id="FD15">
        <label>(15)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mi>n</mml:mi>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>&gt;</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and it is bounded above by 1. Therefore, by the Monotone Convergence Theorem, the sequence converges to 1.</p>
      <p><bold>Example 2 (Valid Recursive Example)</bold></p>
      <p>Consider the recursively defined sequence</p>
      <disp-formula id="FD16">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>+</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Step 1: Boundedness</bold></p>
      <p>We claim that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> for all <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> .</p>
      <p>Assume <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> &lt; </mml:mo><mml:mn> 3 </mml:mn></mml:mrow></mml:math></inline-formula> , then</p>
      <disp-formula id="FD17">
        <label>(17)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>+</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>&lt;</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>3</mml:mn>
                <mml:mo>+</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus, the sequence is bounded above by 3.</p>
      <p><bold>Step 2: Monotonicity</bold></p>
      <p>Observe that</p>
      <disp-formula id="FD18">
        <label>(18)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
                <mml:mo>+</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>3</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>a</mml:mi>
                  <mml:mi>n</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mo>&gt;</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>so the sequence is increasing.</p>
      <p><bold>Step 3: Convergence</bold></p>
      <p>Since the sequence is increasing and bounded above, it converges by the Monotone Convergence Theorem.</p>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:mi> L </mml:mi><mml:mo> = </mml:mo><mml:mi> lim </mml:mi><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . Then</p>
      <disp-formula id="FD19">
        <label>(19)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>L</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>L</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>3</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>⇒</mml:mo>
            <mml:mi>L</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mn>3.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This example correctly illustrates the theorem using a bounded monotone sequence.</p>
      <p>Proof Sketch:</p>
      <p>If a sequence is monotone increasing and bounded above, then the set of its terms has a supremum <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> by completeness of <inline-formula><mml:math><mml:mi> ℝ </mml:mi></mml:math></inline-formula> . It can be shown that the sequence approaches <inline-formula><mml:math><mml:mi> L </mml:mi></mml:math></inline-formula> , and hence converges. A complete proof can be found in standard texts such as Bartke &amp; Sherbert (2022) or Rudin (1976) [<xref ref-type="bibr" rid="B2">2</xref>][<xref ref-type="bibr" rid="B5">5</xref>].</p>
    </sec>
    <sec id="sec7">
      <title>7. Bolzano-Weierstrass Theorem</title>
      <p>The Bolzano-Weierstrass Theorem states:</p>
      <p><bold>Every bounded sequence in</bold><bold>ℝ</bold><bold>has a convergent subsequence.</bold></p>
      <p>This theorem is fundamental in Real Analysis because it guarantees the existence of convergence even when the original sequence itself fails to converge. It plays a central role in compactness arguments, functional analysis, and optimization theory [<xref ref-type="bibr" rid="B3">3</xref>][<xref ref-type="bibr" rid="B8">8</xref>].</p>
      <p>Example:</p>
      <p>Consider the sequence</p>
      <disp-formula id="FD20">
        <label>(20)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This sequence does not converge because it alternates indefinitely between −1 and 1. However, it contains the following convergent subsequences:</p>
      <disp-formula id="FD21">
        <label>(21)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mi>n</mml:mi>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>→</mml:mo>
            <mml:mn>1</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and</p>
      <disp-formula id="FD22">
        <label>(22)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>a</mml:mi>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>→</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mn>1</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The theorem therefore guarantees that bounded oscillatory sequence still contain convergent structure at the subsequence level.</p>
      <p>In modern analysis, the Bolzano-Weierstrass Theorem is closely related to compactness. For example, in optimization problems, bounded iterative methods often rely on convergent subsequences to establish the existence of optimal solutions.</p>
      <p>Proof Sketch:</p>
      <p>The proof relies on repeatedly subdividing an interval containing the bounded sequence to extract nested intervals that contain infinitely many terms. This construction yields a convergent subsequence. A detailed proof appears in Tao (2023) and Rudin (1976) [<xref ref-type="bibr" rid="B5">5</xref>][<xref ref-type="bibr" rid="B8">8</xref>].</p>
      <p>While boundedness alone ensures that a sequence does not diverge to infinity, it does not guarantee convergence, as demonstrated by oscillatory examples such as <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> a </mml:mi><mml:mi> n </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msup><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mi> n </mml:mi></mml:msup></mml:mrow></mml:math></inline-formula> . In contrast, boundedness combined with monotonicity ensures convergence via the Monotone Convergence Theorem. The Bolzano-Weierstrass Theorem provides a complementary result: even if a bounded sequence is not monotone, it still contains a convergent subsequence. Thus, monotonicity guarantees convergence of the entire sequence, while boundedness alone guarantees only partial convergence behavior.</p>
    </sec>
    <sec id="sec8">
      <title>8. Application of Convergence</title>
      <p>Convergence of sequences has wide-ranging applications across both pure and applied mathematics. Beyond serving as a theoretical concept, convergence provides the analytical foundation for approximation methods, computational algorithms, and mathematical modeling.</p>
      <sec id="sec8dot1">
        <title>8.1. Calculus and Infinite Series</title>
        <p>In calculus, convergence is essential for defining limits, derivatives, and integrals. Infinite series such as</p>
        <disp-formula id="FD23">
          <label>(23)</label>
          <mml:math>
            <mml:mrow>
              <mml:mstyle displaystyle="true">
                <mml:msubsup>
                  <mml:mo>∑</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>=</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mi>∞</mml:mi>
                </mml:msubsup>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mn>1</mml:mn>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>n</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msup>
                    </mml:mrow>
                  </mml:mfrac>
                </mml:mrow>
              </mml:mstyle>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>depend on sequence convergence because the sequence of partial sums determines whether the series converges.</p>
        <p>Power series representations of functions also rely on convergence intervals. For instance, the exponential function can be expressed as</p>
        <disp-formula id="FD24">
          <label>(24)</label>
          <mml:math>
            <mml:mrow>
              <mml:msup>
                <mml:mtext>e</mml:mtext>
                <mml:mi>x</mml:mi>
              </mml:msup>
              <mml:mo>=</mml:mo>
              <mml:mstyle displaystyle="true">
                <mml:msubsup>
                  <mml:mo>∑</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>=</mml:mo>
                    <mml:mn>0</mml:mn>
                  </mml:mrow>
                  <mml:mi>∞</mml:mi>
                </mml:msubsup>
                <mml:mrow>
                  <mml:mfrac>
                    <mml:mrow>
                      <mml:msup>
                        <mml:mi>x</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msup>
                    </mml:mrow>
                    <mml:mrow>
                      <mml:mi>n</mml:mi>
                      <mml:mo>!</mml:mo>
                    </mml:mrow>
                  </mml:mfrac>
                </mml:mrow>
              </mml:mstyle>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>when convergence guarantees accurate approximation of transcendental functions.</p>
      </sec>
      <sec id="sec8dot2">
        <title>8.2. Numerical Analysis</title>
        <p>Many numerical algorithms generate sequences that approximate solutions to equations. Newton’s Method, for example, constructs a sequence</p>
        <disp-formula id="FD25">
          <label>(25)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>x</mml:mi>
                <mml:mrow>
                  <mml:mi>n</mml:mi>
                  <mml:mo>+</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:msub>
                <mml:mi>x</mml:mi>
                <mml:mi>n</mml:mi>
              </mml:msub>
              <mml:mo>−</mml:mo>
              <mml:mfrac>
                <mml:mrow>
                  <mml:mi>f</mml:mi>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>x</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
                <mml:mrow>
                  <mml:msup>
                    <mml:mi>f</mml:mi>
                    <mml:mo>′</mml:mo>
                  </mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>x</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                </mml:mrow>
              </mml:mfrac>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>That converges to a root of <inline-formula><mml:math><mml:mrow><mml:mi> f </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> under appropriate conditions.</p>
        <p>The Monotone Convergence Theorem is frequently applied to verify that iterative approximations remain bounded and converge toward stable solutions. In computational mathematics, convergence analysis determines whether algorithms are reliable and efficient.</p>
        <p>This demonstrates how convergence of sequences ensures that iterative algorithms produce increasingly accurate approximations, a key requirement for numerical stability and reliability in computational methods [<xref ref-type="bibr" rid="B4">4</xref>].</p>
      </sec>
      <sec id="sec8dot3">
        <title>8.3. Differential Equations</title>
        <p>Many Sequence arise naturally in solving differential equations through approximation methods such as Euler’s Method and Picard iteration. In Picard iteration, successive approximations form a sequence of functions converging to the solution of a differential equation.</p>
        <p>The convergence of these approximations ensures that numerical simulations accurately represent physical systems such as fluid flow, population dynamics, and heat transfer.</p>
        <p>The convergence of the sequence of approximations guarantees that the limiting function satisfies the original differential equation, providing both existence and constructive solutions in applied contexts [<xref ref-type="bibr" rid="B1">1</xref>].</p>
      </sec>
      <sec id="sec8dot4">
        <title>8.4. Dynamical Systems and Chaos Theory</title>
        <p>Recent studies have connected convergence theory with dynamical systems and chaos theory [<xref ref-type="bibr" rid="B3">3</xref>]. In these fields, recursively generated sequences describe long-term system behavior.</p>
        <p>For example, consider the logistic map:</p>
        <disp-formula id="FD26">
          <label>(26)</label>
          <mml:math>
            <mml:mrow>
              <mml:msub>
                <mml:mi>x</mml:mi>
                <mml:mrow>
                  <mml:mi>n</mml:mi>
                  <mml:mo>+</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
              </mml:msub>
              <mml:mo>=</mml:mo>
              <mml:mi>r</mml:mi>
              <mml:msub>
                <mml:mi>x</mml:mi>
                <mml:mi>n</mml:mi>
              </mml:msub>
              <mml:mrow>
                <mml:mo>(</mml:mo>
                <mml:mrow>
                  <mml:mn>1</mml:mn>
                  <mml:mo>−</mml:mo>
                  <mml:msub>
                    <mml:mi>x</mml:mi>
                    <mml:mi>n</mml:mi>
                  </mml:msub>
                </mml:mrow>
                <mml:mo>)</mml:mo>
              </mml:mrow>
              <mml:mo>.</mml:mo>
            </mml:mrow>
          </mml:math>
        </disp-formula>
        <p>When certain parameter values are chosen, the generated sequence converges to stable equilibrium points. For other parameter values, the sequence oscillates chaotically and fails to converge. The study of convergence and divergence in such systems helps researchers distinguish stable dynamical behavior from chaotic behavior.</p>
        <p>This demonstrates that convergence theory is not limited to abstract analysis but also provides insight into real-world phenomena such as climate systems, biological populations, and economic models.</p>
        <p>In this context, convergence analysis helps determine whether a system evolves toward equilibrium, periodic cycles, or chaotic behavior, making it central to stability analysis in dynamical systems [<xref ref-type="bibr" rid="B3">3</xref>].</p>
      </sec>
      <sec id="sec8dot5">
        <title>8.5. Educational and Computational Applications</title>
        <p>Modern educational research emphasizes the importance of symbolic, graphical, and verbal representations in helping students understand convergence concepts [<xref ref-type="bibr" rid="B9">9</xref>]. Visualization software and computational tools now allow students to explore convergence dynamically through graphs and simulations.</p>
        <p>Furthermore, machine learning and optimization algorithms frequently depend on convergent iterative procedures. Gradient descent methods, for example, generate sequences of approximations intended to converge toward optimal parameter values.</p>
        <p>These developments illustrate how convergence remains central to both mathematical theory and modern computational practice.</p>
        <p>In optimization and machine learning, the convergence of iterative algorithms (such as gradient descent) ensures that solutions approach optimal values, which is crucial for algorithmic effectiveness [<xref ref-type="bibr" rid="B10">10</xref>].</p>
      </sec>
    </sec>
    <sec id="sec9">
      <title>9. Conclusions</title>
      <p>The study of sequences and their convergence forms a cornerstone of Real Analysis. Through concepts such as boundedness, monotonicity, and subsequences, mathematicians can rigorously analyze the behavior of infinite processes. The Monotone Convergence Theorem and Bolzano-Weierstrass Theorem demonstrate how the completeness of the real numbers system guarantees the existence of limits under appropriate conditions. </p>
      <p>This review paper has shown that convergence theory extend far beyond elementary textbook examples. Recursive sequence, iterative numerical methods, and dynamical systems all rely heavily on convergence principles. Y connecting classical theorems with modern applications, the discussion emphasizes the enduring relevance of convergence in contemporary mathematics.</p>
      <p>A deep understanding of convergence equips students and researchers with the analytical tools necessary for advance studies in mathematics, and scientific modeling. As modern research continues to evolve, convergence remains a unifying concept remains a unifying concept linking pure theory with practical application.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Stein, E.M. and Shakarchi, R. (2005). Real Analysis: Measure theory, Integration, and Hilbert Spaces. Princeton University Press. https://doi.org/10.1515/9781400835560 <pub-id pub-id-type="doi">10.1515/9781400835560</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1515/9781400835560">https://doi.org/10.1515/9781400835560</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Stein, E.M.</string-name>
              <string-name>Shakarchi, R.</string-name>
            </person-group>
            <year>2005</year>
            <pub-id pub-id-type="doi">10.1515/9781400835560</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Bartle, R.G. and Sherbert, D.R. (2018) Introduction to Real Analysis. 4th Edition, Wiley.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Bartle, R.G.</string-name>
              <string-name>Sherbert, D.R.</string-name>
              <string-name>Edition, W</string-name>
            </person-group>
            <year>2018</year>
            <article-title>Introduction to Real Analysis</article-title>
            <source>4th Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Raikhola, S.S. (2025) Recent Advancements in Sequences and Series of Real Numbers: Convergence, Fractals, Chaos Theory, and Applications in Dynamical Systems. <italic>Perspectives</italic><italic>on</italic><italic>Higher</italic><italic>Education</italic>, 15, 21-40. https://doi.org/10.3126/phe.v15i02.81101 <pub-id pub-id-type="doi">10.3126/phe.v15i02.81101</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3126/phe.v15i02.81101">https://doi.org/10.3126/phe.v15i02.81101</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Raikhola, S.S.</string-name>
              <string-name>Convergence, F</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Recent Advancements in Sequences and Series of Real Numbers: Convergence, Fractals, Chaos Theory, and Applications in Dynamical Systems</article-title>
            <source>Perspectives on Higher Education</source>
            <volume>15</volume>
            <pub-id pub-id-type="doi">10.3126/phe.v15i02.81101</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Uzor, V.A. and Mewomo, O.T. (2025) Convergence Analysis of a Resolvent-Free Method for Solving Inclusion Problems Beyond Co-Coercivity. <italic>Afrika</italic><italic>Matematika</italic>, 36, Article No. 58. https://doi.org/10.1007/s13370-025-01275-z <pub-id pub-id-type="doi">10.1007/s13370-025-01275-z</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s13370-025-01275-z">https://doi.org/10.1007/s13370-025-01275-z</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Uzor, V.A.</string-name>
              <string-name>Mewomo, O.T.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Convergence Analysis of a Resolvent-Free Method for Solving Inclusion Problems Beyond Co-Coercivity</article-title>
            <source>Afrika Matematika</source>
            <volume>36</volume>
            <elocation-id>No</elocation-id>
            <pub-id pub-id-type="doi">10.1007/s13370-025-01275-z</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Rudin, W. (1976) Principles of Mathematical Analysis. 3rd Edition, McGraw-Hill.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Rudin, W.</string-name>
              <string-name>Edition, M</string-name>
            </person-group>
            <year>1976</year>
            <article-title>Principles of Mathematical Analysis</article-title>
            <source>3rd Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Abbott, S. (2015) Understanding Analysis. 2nd Edition, Springer. https://doi.org/10.1007/978-1-4939-2712-8 <pub-id pub-id-type="doi">10.1007/978-1-4939-2712-8</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/978-1-4939-2712-8">https://doi.org/10.1007/978-1-4939-2712-8</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Abbott, S.</string-name>
              <string-name>Edition, S</string-name>
            </person-group>
            <year>2015</year>
            <article-title>Understanding Analysis</article-title>
            <source>2nd Edition</source>
            <pub-id pub-id-type="doi">10.1007/978-1-4939-2712-8</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Atıcı Turan, G. (2025) Generalized Statistical Convergence in Sequence Spaces: A Modulus Function Perspective. <italic>Symmetry</italic>, 17, Article 1080. https://doi.org/10.3390/sym17071080 <pub-id pub-id-type="doi">10.3390/sym17071080</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3390/sym17071080">https://doi.org/10.3390/sym17071080</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Turan, G.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Generalized Statistical Convergence in Sequence Spaces: A Modulus Function Perspective</article-title>
            <source>Symmetry</source>
            <volume>17</volume>
            <elocation-id>1080</elocation-id>
            <pub-id pub-id-type="doi">10.3390/sym17071080</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Tao, T. (2023) Analysis I. 4th Edition, Springer.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Tao, T.</string-name>
              <string-name>Edition, S</string-name>
            </person-group>
            <year>2023</year>
            <article-title>Analysis I</article-title>
            <source>4th Edition</source>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Nursupiamin, Rochaminah, S., Pathuddin, Sukayasa, and Sudarsana, I.W. (2025) Tracing How Students Make Sense of Convergent Sequences through Their Preferred Mathematical Representations: A Phenomenological Exploration. <italic>Journal of A</italic><italic>dvanced</italic><italic>Sciences</italic><italic>and</italic><italic>Mathematics</italic><italic>Education</italic>, 5, 373-386. https://doi.org/10.58524/jasme.v5i2.886 <pub-id pub-id-type="doi">10.58524/jasme.v5i2.886</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.58524/jasme.v5i2.886">https://doi.org/10.58524/jasme.v5i2.886</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Nursupiamin, R</string-name>
              <string-name>Pathuddin, S</string-name>
              <string-name>Sudarsana, I.W.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Tracing How Students Make Sense of Convergent Sequences through Their Preferred Mathematical Representations: A Phenomenological Exploration</article-title>
            <source>Journal of Advanced Sciences and Mathematics Education</source>
            <volume>5</volume>
            <pub-id pub-id-type="doi">10.58524/jasme.v5i2.886</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Pawel, S. (2025) Handling Missingness, Failures, and Non-Convergence in Statistical Analysis. The American Statistician.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Pawel, S.</string-name>
              <string-name>Missingness, F</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Handling Missingness, Failures, and Non-Convergence in Statistical Analysis</article-title>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>