<?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.147124</article-id>
      <article-id pub-id-type="publisher-id">jamp-152534</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>Ramanujan-Inspired Prime Sums through Prime Gaps</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Danesh</surname>
            <given-names>Payam</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author" corresp="yes">
          <name name-style="western">
            <surname>Bianchetti</surname>
            <given-names>Raoul</given-names>
          </name>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Department of Biosystems Engineering, University of Tehran, Tehran, Iran </aff>
      <aff id="aff2"><label>2</label> Information Physics Institute, Gosport, Hampshire, UK </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>14</day>
        <month>07</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>07</month>
        <year>2026</year>
      </pub-date>
      <volume>14</volume>
      <issue>07</issue>
      <fpage>2509</fpage>
      <lpage>2521</lpage>
      <history>
        <date date-type="received">
          <day>31</day>
          <month>05</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>11</day>
          <month>07</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>14</day>
          <month>07</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.147124">https://doi.org/10.4236/jamp.2026.147124</self-uri>
      <abstract>
        <p>In this study, we develop a finite framework for studying sums of prime numbers through consecutive prime gaps. This work is motivated by Ramanujan’s influence on arithmetic decompositions, partition methods, and summation ideas, but the argument itself remains within ordinary finite number theory. The main result is an exact finite rearrangement of the partial prime sum: the sum of the first <inline-formula><mml:math></mml:math></inline-formula></p>
        <p>n</p>
        <p>primes is written as the contribution of the initial prime together with a weighted accumulation of consecutive prime gaps. Each gap receives a weight equal to the number of later primes affected by that gap. The same identity is also expressed geometrically, where the weighted gap contribution appears as the slope relation in a right triangle. Exact examples verify the formula for small prime sums, and the asymptotic discussion places the identity beside the classical leading scale predicted by the prime number theorem. This paper also separates finite identities from regularized infinite summations, while divergent infinite prime sums require a separate summation theory and cannot be treated as ordinary convergent series.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Partial Prime Sums</kwd>
        <kwd>Prime Gaps</kwd>
        <kwd>Ramanujan-Inspired Summation</kwd>
        <kwd>Geometric Encoding</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>Prime numbers form one of the central structures of arithmetic [<xref ref-type="bibr" rid="B1">1</xref>]. Their distribution has shaped number theory from Euler’s formula to the prime number theorem and modern work on prime gaps [<xref ref-type="bibr" rid="B2">2</xref>]. The usual objects in this area are the prime-counting function, Chebyshev functions, divisor functions, and asymptotic estimates for the sequence of primes [<xref ref-type="bibr" rid="B3">3</xref>]. A simpler finite object also carries useful information: the sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes. This sum records not only the size of the primes themselves, but also the way consecutive prime gaps accumulate through the sequence. To make this accumulation precise, we first write the prime sum in a fixed notation and then express each prime through the gaps that precede it.</p>
      <p>Let <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> denote the <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> -th prime, and define the partial prime sum by</p>
      <disp-formula id="FD1">
        <label>(1)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The central observation of this paper is that <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> has an exact decomposition in terms of consecutive prime gaps. If</p>
      <disp-formula id="FD2">
        <label>(2)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>then</p>
      <disp-formula id="FD3">
        <label>(3)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The term <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> is the baseline contribution from the initial prime 2. The remaining term records the accumulated effect of the prime gaps. A gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is not counted once. It is counted with weight <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> , because it affects every later prime from <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> through <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . In this way, Formula (3) gives a finite history of how the prime sequence is built from its successive differences.</p>
      <p>The motivation of this study is partly Ramanujan-inspired since Ramanujan’s work on highly composite numbers showed how arithmetic objects can be understood through structured decompositions, extremal behavior, and cumulative effects in multiplicative number theory [<xref ref-type="bibr" rid="B4">4</xref>]. In 1918, Hardy and Ramanujan’s work on partitions remains another model for reorganizing arithmetic information into forms where cumulative structure becomes visible [<xref ref-type="bibr" rid="B5">5</xref>]. Later, Nicolas and Robin studied Ramanujan’s work in detail and clarified its connection with divisor functions, prime factors, and extremal arithmetic behavior [<xref ref-type="bibr" rid="B6">6</xref>]. The finite sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes belongs naturally to the classical theory of prime distribution. The prime number theorem gives the leading scale of prime growth, and Goldstein’s historical account explains how this subject developed from numerical evidence into rigorous asymptotic theory [<xref ref-type="bibr" rid="B7">7</xref>]. More recent works study <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> directly. For example, Axler obtained asymptotic formulas and explicit estimates for the sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes [<xref ref-type="bibr" rid="B8">8</xref>]. Sinha also derived an asymptotic expansion for the same quantity and connected it with inequalities of Mandl and Robin type [<xref ref-type="bibr" rid="B9">9</xref>]. Although all these works address the analytic growth of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the present paper serves a different purpose. It gives an exact finite decomposition that makes the contribution of each individual prime gap explicit. Prime gaps provide the natural language for this decomposition. The differences <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> contain fine information about the local behavior of the prime sequence. Soundararajan’s survey on small gaps between primes shows how deep this subject becomes when one studies the distribution and size of these gaps [<xref ref-type="bibr" rid="B10">10</xref>]. Here the gaps are used in a more elementary but exact way. They are not estimated statistically. They are placed into a finite weighted identity for <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . This gives a direct bridge between local increments of the prime sequence and the global partial sum.</p>
      <p>The same identity also has a geometric form. For fixed <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> , define</p>
      <disp-formula id="FD4">
        <label>(4)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mo>−</mml:mo>
            <mml:mi>i</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>If an angle <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is chosen so that</p>
      <disp-formula id="FD5">
        <label>(5)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>g</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>h</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>then</p>
      <disp-formula id="FD6">
        <label>(6)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and the prime-sum identity becomes</p>
      <disp-formula id="FD7">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>i</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This trigonometric expression is an encoding of the same finite identity, not an independent method for predicting primes. The angle <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is defined from the gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . The geometric form therefore preserves the arithmetic content of Formula (3) rather than adding new information about the distribution of primes.</p>
      <p>A separate issue concerns divergent infinite sums. Ramanujan’s name is often connected with non-standard summation ideas, and Ramanujan sums continue to appear in modern mathematical and signal-processing settings [<xref ref-type="bibr" rid="B11">11</xref>]. Such methods have value when they are used inside a precise regularization framework. They are not ordinary finite summation. For this reason, the present paper keeps the finite identity separate from any regularized infinite interpretation. The series of all primes diverges in the ordinary sense, and any finite value assigned to it would require separate definitions and separate proofs. In fact, the present paper follows a related mathematical attitude: a finite arithmetic quantity is rewritten so that its internal structure becomes transparent.</p>
      <p>As the conclusion, this paper accurately proves Formula (3), verifies it by finite examples, gives its geometric encoding, and compares its scale with the known asymptotic behavior of prime sums.</p>
    </sec>
    <sec id="sec2">
      <title>2. Prime Gaps and Partial Prime Sums</title>
      <p>To prove the finite rearrangement precisely, we first fix the notation for the prime sequence, its consecutive gaps, and the partial sums built from them.</p>
      <p>Let</p>
      <disp-formula id="FD8">
        <label>(8)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mo>⋯</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>be the increasing sequence of prime numbers. For each integer <inline-formula><mml:math><mml:mrow><mml:mi> i </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , define the <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> -th prime gap by</p>
      <disp-formula id="FD9">
        <label>(9)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus, the first few gaps are</p>
      <disp-formula id="FD10">
        <label>(10)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>These gaps recover the prime sequence by telescoping. For every <inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD11">
        <label>(11)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> , this becomes</p>
      <disp-formula id="FD12">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Equation (12) is the basic finite relation used throughout the paper. It says that each prime is obtained from the first prime by adding all previous gaps.</p>
      <p>We define the partial sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes by</p>
      <disp-formula id="FD13">
        <label>(13)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The notation <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is used deliberately. In standard number theory, <inline-formula><mml:math><mml:mrow><mml:mi> π </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> x </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> denotes the number of primes not exceeding <inline-formula><mml:math><mml:mi> x </mml:mi></mml:math></inline-formula> . Using <inline-formula><mml:math><mml:mrow><mml:mi> π </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> n </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> for a sum of primes would conflict with this standard notation. In this case, the symbol <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> keeps the object clear.</p>
      <p>The goal is to rewrite <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> in terms of the gaps <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . A gap that occurs early in the prime sequence appears in many later primes. These repeated appearances are the source of the weights in the main formula.</p>
      <p>For example, take <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 5 </mml:mn></mml:mrow></mml:math></inline-formula> . The first five primes are</p>
      <disp-formula id="FD14">
        <label>(14)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>11.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>They can be written through gaps as</p>
      <disp-formula id="FD15">
        <label>(15)</label>
        <mml:math>
          <mml:mrow>
            <mml:mtable>
              <mml:mtr>
                <mml:mtd>
                  <mml:mn>2</mml:mn>
                </mml:mtd>
                <mml:mtd>
                  <mml:mrow>
                    <mml:mo>=</mml:mo>
                    <mml:mn>2</mml:mn>
                    <mml:mo>,</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mn>3</mml:mn>
                </mml:mtd>
                <mml:mtd>
                  <mml:mrow>
                    <mml:mo>=</mml:mo>
                    <mml:mn>2</mml:mn>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mn>5</mml:mn>
                </mml:mtd>
                <mml:mtd>
                  <mml:mrow>
                    <mml:mo>=</mml:mo>
                    <mml:mn>2</mml:mn>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mn>7</mml:mn>
                </mml:mtd>
                <mml:mtd>
                  <mml:mrow>
                    <mml:mo>=</mml:mo>
                    <mml:mn>2</mml:mn>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msub>
                    <mml:mo>,</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
              <mml:mtr>
                <mml:mtd>
                  <mml:mrow>
                    <mml:mn>11</mml:mn>
                  </mml:mrow>
                </mml:mtd>
                <mml:mtd>
                  <mml:mrow>
                    <mml:mo>=</mml:mo>
                    <mml:mn>2</mml:mn>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>1</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>3</mml:mn>
                    </mml:msub>
                    <mml:mo>+</mml:mo>
                    <mml:msub>
                      <mml:mi>g</mml:mi>
                      <mml:mn>4</mml:mn>
                    </mml:msub>
                    <mml:mo>.</mml:mo>
                  </mml:mrow>
                </mml:mtd>
              </mml:mtr>
            </mml:mtable>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Adding the five lines in (15), the baseline 2 appears five times. The first gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mn> 1 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> appears four times, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mn> 2 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> appears three times, <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mn> 3 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> appears twice, and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mn> 4 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> appears once. Hence</p>
      <disp-formula id="FD16">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>⋅</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This example shows the general pattern. In the sum <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> appears exactly <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> times. The main theorem in the next section formalizes this observation.</p>
    </sec>
    <sec id="sec3">
      <title>3. Decomposition of Prime Sums</title>
      <p>We now prove the finite identity stated in the Introduction. The proof will show that the sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes is determined by the first prime and by a weighted record of the gaps that follow it.</p>
      <p><bold>Theorem 3.1. Prime-gap decomposition</bold></p>
      <p>For every integer <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD17">
        <label>(17)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Equivalently,</p>
      <disp-formula id="FD18">
        <label>(18)</label>
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Proof</bold></p>
      <p>From (12), each prime <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mi> k </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> can be written as</p>
      <disp-formula id="FD19">
        <label>(19)</label>
        <mml:math display="inline">
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Summing (19) over <inline-formula><mml:math><mml:mrow><mml:mi> k </mml:mi><mml:mo> = </mml:mo><mml:mn> 1 </mml:mn><mml:mo> , </mml:mo><mml:mo> ⋯ </mml:mo><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> , we obtain</p>
      <disp-formula id="FD20">
        <label>(20)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mo>+</mml:mo>
                <mml:munderover>
                  <mml:mstyle mathsize="140%" displaystyle="true">
                    <mml:mo>∑</mml:mo>
                  </mml:mstyle>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mo>=</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mi>k</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:munderover>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:msub>
                  <mml:mi>g</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Separating the constant term gives</p>
      <disp-formula id="FD21">
        <label>(21)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>We now count how often each fixed gap occurs. The gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> appears in the inner sum exactly when</p>
      <disp-formula id="FD22">
        <label>(22)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>k</mml:mi>
            <mml:mo>≥</mml:mo>
            <mml:mi>i</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mn>1.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>For a fixed <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> with <inline-formula><mml:math><mml:mrow><mml:mn> 1 </mml:mn><mml:mo> ≤ </mml:mo><mml:mi> i </mml:mi><mml:mo> ≤ </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , this means</p>
      <disp-formula id="FD23">
        <label>(23)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>k</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>i</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mi>i</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mo>⋯</mml:mo>
            <mml:mo>,</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>There are <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> such values of <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> . Therefore,</p>
      <disp-formula id="FD24">
        <label>(24)</label>
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Substituting (24) into (21) gives</p>
      <disp-formula id="FD25">
        <label>(25)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This proves the theorem.</p>
      <p><bold>Corollary 3.2. Accumulated gap contribution</bold></p>
      <p>For every integer <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> ≥ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD26">
        <label>(26)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Proof</bold></p>
      <p>Subtract <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> from both sides of (17).</p>
      <p>Formula (26) isolates the part of the prime sum produced by the gaps. The term <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> is only the contribution of the initial prime repeated <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> times. Everything beyond that baseline is carried by the weighted gap sum.</p>
      <p>The weight <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> has a direct meaning. The gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> shifts every later prime from <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub></mml:mrow></mml:math></inline-formula> through <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . It therefore contributes once to each of those later primes. That is why it appears <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> times in <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . Early gaps have larger weights. Later gaps have smaller weights.</p>
      <p><bold>Remark 3.3. Relation with finite differences.</bold></p>
      <p>The identity in Theorem 3.1 can also be read as a finite-difference form of summation by parts. The gaps <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> are the forward differences of the prime sequence. Writing each prime as the initial value <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mn> 1 </mml:mn></mml:msub><mml:mo> = </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:math></inline-formula> plus the accumulated forward differences, and then summing over <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> , gives the weights <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> . Thus Formula (17) is not a new summation method. It is the standard finite reconstruction of a sequence from its first term and its forward differences, followed by a finite change in summation order. Its usefulness here is that it makes the contribution of each individual prime gap visible inside the partial prime sum.</p>
      <p>The notation in the decomposition is summarized in <bold>Table 1</bold>. The table is included to make clear that the index <inline-formula><mml:math><mml:mi> k </mml:mi></mml:math></inline-formula> refers to primes, while the index <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> refers to gaps. This distinction prevents a common confusion in formulas involving prime sums.</p>
      <p><bold>Table 1.</bold> Notation and arithmetic role in the prime-gap decomposition.</p>
      <table-wrap id="tbl1">
        <label>Table 1</label>
        <table>
          <tbody>
            <tr>
              <td>
                <bold>Symbol</bold>
              </td>
              <td>
                <bold>Definition</bold>
              </td>
              <td>
                <bold>Role</bold>
              </td>
            </tr>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>p</mml:mi>
                        <mml:mi>k</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <italic>k</italic>
                -th prime
              </td>
              <td>prime being summed</td>
            </tr>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>p</mml:mi>
                        <mml:mrow>
                          <mml:mi>i</mml:mi>
                          <mml:mo>+</mml:mo>
                          <mml:mn>1</mml:mn>
                        </mml:mrow>
                      </mml:msub>
                      <mml:mo>−</mml:mo>
                      <mml:msub>
                        <mml:mi>p</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>gap between consecutive primes</td>
            </tr>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>P</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mstyle displaystyle="true">
                        <mml:msubsup>
                          <mml:mo>∑</mml:mo>
                          <mml:mrow>
                            <mml:mi>k</mml:mi>
                            <mml:mo>=</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mi>n</mml:mi>
                        </mml:msubsup>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>p</mml:mi>
                            <mml:mi>k</mml:mi>
                          </mml:msub>
                        </mml:mrow>
                      </mml:mstyle>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                sum of the first
                <inline-formula>
                  <mml:math>
                    <mml:mi>n</mml:mi>
                  </mml:math>
                </inline-formula>
                primes
              </td>
            </tr>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mi>n</mml:mi>
                      <mml:mo>−</mml:mo>
                      <mml:mi>i</mml:mi>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>gap multiplicity</td>
              <td>
                number of later primes affected by
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
            </tr>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mi>n</mml:mi>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mi>n</mml:mi>
                  </mml:math>
                </inline-formula>
                copies of
                <inline-formula>
                  <mml:math display="inline">
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>p</mml:mi>
                        <mml:mn>1</mml:mn>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:mn>2</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>baseline contribution</td>
            </tr>
          </tbody>
        </table>
      </table-wrap>
    </sec>
    <sec id="sec4">
      <title>4. Numerical Verification and Finite Examples</title>
      <p>The decomposition is finite, so it must agree exactly with ordinary prime sums. The examples below check the identity in small cases and show how the weights appear in practice.</p>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 5 </mml:mn></mml:mrow></mml:math></inline-formula> , the first five primes are</p>
      <disp-formula id="FD27">
        <label>(27)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>11.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The corresponding gaps are</p>
      <disp-formula id="FD28">
        <label>(28)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>4.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Using Theorem 3.1, we get</p>
      <disp-formula id="FD29">
        <label>(29)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>⋅</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Substituting the gaps gives</p>
      <disp-formula id="FD30">
        <label>(30)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>10</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>4</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>28.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The ordinary sum gives the same value:</p>
      <disp-formula id="FD31">
        <label>(31)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>11</mml:mn>
            <mml:mo>=</mml:mo>
            <mml:mn>28.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> , the first six primes are</p>
      <disp-formula id="FD32">
        <label>(32)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>11</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:mn>13.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Their gaps are</p>
      <disp-formula id="FD33">
        <label>(33)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The decomposition gives</p>
      <disp-formula id="FD34">
        <label>(34)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mn>6</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>⋅</mml:mo>
            <mml:mn>6</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>+</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus</p>
      <disp-formula id="FD35">
        <label>(35)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mn>6</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>12</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>4</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>+</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>2</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>41.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Again, this matches the direct computation</p>
      <disp-formula id="FD36">
        <label>(36)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>11</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>=</mml:mo>
            <mml:mn>41.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The same verification for several small values of <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> is given at <bold>Table 2</bold>. Each row compares the ordinary sum with the weighted-gap expression. The agreement is exact because both columns represent the same finite identity.</p>
      <p><bold>Table 2.</bold> Exact verification of the prime-gap decomposition for small prime sums.</p>
      <table-wrap id="tbl2">
        <label>Table 2</label>
        <table>
          <tbody>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mi>n</mml:mi>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <bold>First</bold>
                <italic>
                  <bold>n</bold>
                </italic>
                <bold>primes</bold>
              </td>
              <td>
                <bold>Weighted-gap expression</bold>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>P</mml:mi>
                        <mml:mi>n</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
            </tr>
            <tr>
              <td>5</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>7</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>11</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>10</mml:mn>
                      <mml:mo>+</mml:mo>
                      <mml:mn>4</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>28</td>
            </tr>
            <tr>
              <td>6</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>7</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>11</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>13</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>12</mml:mn>
                      <mml:mo>+</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>4</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>41</td>
            </tr>
            <tr>
              <td>7</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>7</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>11</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>13</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>17</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>14</mml:mn>
                      <mml:mo>+</mml:mo>
                      <mml:mn>6</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>4</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>58</td>
            </tr>
            <tr>
              <td>8</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>2</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>7</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>11</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>13</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>17</mml:mn>
                      <mml:mo>,</mml:mo>
                      <mml:mn>19</mml:mn>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mn>16</mml:mn>
                      <mml:mo>+</mml:mo>
                      <mml:mn>7</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>1</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>6</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>5</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>4</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>3</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>4</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                      <mml:mo>+</mml:mo>
                      <mml:mn>1</mml:mn>
                      <mml:mrow>
                        <mml:mo>(</mml:mo>
                        <mml:mn>2</mml:mn>
                        <mml:mo>)</mml:mo>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>77</td>
            </tr>
          </tbody>
        </table>
      </table-wrap>
      <p>The triangular pattern of the weights is visible in the table. For <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mn> 8 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> , the first gap has weight 7, the second has weight 6, and the weights decrease by one until the final gap has weight 1. The arithmetic variation comes from the gaps themselves, while the weight pattern comes only from the finite summation structure.</p>
      <p>The same structure is also visible in <xref ref-type="fig" rid="fig1">Figure 1</xref>. For <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 12 </mml:mn></mml:mrow></mml:math></inline-formula> , the figure displays</p>
      <fig id="fig1">
        <label>Figure 1</label>
        <graphic xlink:href="https://html.scirp.org/file/1724756-rId267.jpeg?20260714030708" />
      </fig>
      <p><bold>Figure 1.</bold> Weighted contribution of prime gaps to <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p>both the decreasing multiplicity <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> and the actual weighted contribution <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p>This plot separates two effects: the deterministic decline of the weights and the arithmetic variation of the gaps. The <inline-formula><mml:math><mml:mi> i </mml:mi></mml:math></inline-formula> -th gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> contributes with weight <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> , so early gaps have the largest structural influence on the finite prime sum.</p>
    </sec>
    <sec id="sec5">
      <title>5. Geometric Encoding of Weighted Gaps</title>
      <p>The prime-gap decomposition also has a useful geometric form. This section does not introduce a new prime-generating rule but it gives an exact visual encoding of the same finite identity proved in Theorem 3.1. It records the factor <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> as a slope-height product and makes the weighted nature of the gap contribution visible in a single diagram.</p>
      <p>Fix an integer <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> . For each gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , define</p>
      <disp-formula id="FD37">
        <label>(37)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mo>−</mml:mo>
            <mml:mi>i</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The number <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is the multiplicity of the gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> in the sum <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . Define an angle <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> by</p>
      <disp-formula id="FD38">
        <label>(38)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>g</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>h</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Equivalently,</p>
      <disp-formula id="FD39">
        <label>(39)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Substituting (39) into the gap decomposition gives</p>
      <disp-formula id="FD40">
        <label>(40)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mi> tan </mml:mi><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , we obtain</p>
      <disp-formula id="FD41">
        <label>(41)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msubsup>
              <mml:mi>h</mml:mi>
              <mml:mi>i</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Using <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> , this becomes</p>
      <disp-formula id="FD42">
        <label>(42)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>i</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Proposition 5.1. Geometric form</bold></p>
      <p>For every integer <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> ,</p>
      <disp-formula id="FD43">
        <label>(43)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>i</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD44">
        <label>(44)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p><bold>Proof</bold></p>
      <p>By definition,</p>
      <disp-formula id="FD45">
        <label>(45)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore,</p>
      <disp-formula id="FD46">
        <label>(46)</label>
        <mml:math>
          <mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>i</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Substitution into the prime-gap decomposition</p>
      <disp-formula id="FD47">
        <label>(47)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>gives (43).</p>
      <p>This representation is exact since each angle is defined from the corresponding gap. The angle does not predict the gap. The gap defines the angle, and the triangle records the weighted contribution of that gap to the finite prime sum.</p>
      <p>For <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 6 </mml:mn></mml:mrow></mml:math></inline-formula> , the gaps are</p>
      <disp-formula id="FD48">
        <label>(48)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The corresponding multiplicities are</p>
      <disp-formula id="FD49">
        <label>(49)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mn>1</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mn>3</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mn>4</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>,</mml:mo>
            <mml:msub>
              <mml:mi>h</mml:mi>
              <mml:mn>5</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>1.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Geometric encoding is recorded in <bold>Table 3</bold>. The final column is the contribution <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> h </mml:mi><mml:mi> i </mml:mi><mml:mn> 2 </mml:mn></mml:msubsup><mml:mi> tan </mml:mi><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , which is equal to <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . The table shows that the trigonometric form reproduces the same exact arithmetic contribution as the gap formula.</p>
      <p><bold>Table 3.</bold> Geometric encoding for <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mn> 6 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <table-wrap id="tbl3">
        <label>Table 3</label>
        <table>
          <tbody>
            <tr>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mi>i</mml:mi>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>g</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msub>
                        <mml:mi>h</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:mn>6</mml:mn>
                      <mml:mo>−</mml:mo>
                      <mml:mi>i</mml:mi>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mi>tan</mml:mi>
                      <mml:msub>
                        <mml:mi>α</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                      <mml:mo>=</mml:mo>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>g</mml:mi>
                            <mml:mi>i</mml:mi>
                          </mml:msub>
                        </mml:mrow>
                        <mml:mo>/</mml:mo>
                        <mml:mrow>
                          <mml:msub>
                            <mml:mi>h</mml:mi>
                            <mml:mi>i</mml:mi>
                          </mml:msub>
                        </mml:mrow>
                      </mml:mrow>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:msubsup>
                        <mml:mi>h</mml:mi>
                        <mml:mi>i</mml:mi>
                        <mml:mn>2</mml:mn>
                      </mml:msubsup>
                      <mml:mi>tan</mml:mi>
                      <mml:msub>
                        <mml:mi>α</mml:mi>
                        <mml:mi>i</mml:mi>
                      </mml:msub>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
            </tr>
            <tr>
              <td>1</td>
              <td>1</td>
              <td>5</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>1</mml:mn>
                        <mml:mn>5</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>5</td>
            </tr>
            <tr>
              <td>2</td>
              <td>2</td>
              <td>4</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>1</mml:mn>
                        <mml:mn>2</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>8</td>
            </tr>
            <tr>
              <td>3</td>
              <td>2</td>
              <td>3</td>
              <td>
                <inline-formula>
                  <mml:math>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mn>2</mml:mn>
                        <mml:mn>3</mml:mn>
                      </mml:mfrac>
                    </mml:mrow>
                  </mml:math>
                </inline-formula>
              </td>
              <td>6</td>
            </tr>
            <tr>
              <td>4</td>
              <td>4</td>
              <td>2</td>
              <td>2</td>
              <td>8</td>
            </tr>
            <tr>
              <td>5</td>
              <td>2</td>
              <td>1</td>
              <td>2</td>
              <td>2</td>
            </tr>
          </tbody>
        </table>
      </table-wrap>
      <p>The final column in <bold>Table 3</bold> sums to</p>
      <disp-formula id="FD50">
        <label>(50)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>8</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>6</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>8</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mo>=</mml:mo>
            <mml:mn>29.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Adding the baseline term <inline-formula><mml:math><mml:mrow><mml:mn> 2 </mml:mn><mml:mi> n </mml:mi><mml:mo> = </mml:mo><mml:mn> 12 </mml:mn></mml:mrow></mml:math></inline-formula> , we obtain</p>
      <disp-formula id="FD51">
        <label>(51)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mn>6</mml:mn>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>12</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>29</mml:mn>
            <mml:mo>=</mml:mo>
            <mml:mn>41.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This agrees with the direct sum</p>
      <disp-formula id="FD52">
        <label>(52)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>11</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>13</mml:mn>
            <mml:mo>=</mml:mo>
            <mml:mn>41.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The geometric relation is most transparent in <xref ref-type="fig" rid="fig2">Figure 2</xref>. The vertical height is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the horizontal gap is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , and the angle is chosen so that <inline-formula><mml:math><mml:mrow><mml:mi> tan </mml:mi><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mrow><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> .</p>
      <p>The weighted contribution is therefore <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , equivalently <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> h </mml:mi><mml:mi> i </mml:mi><mml:mn> 2 </mml:mn></mml:msubsup><mml:mi> tan </mml:mi><mml:msub><mml:mi> α </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> . The gap <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is encoded as a slope relative to height <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> , and its contribution to <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> h </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <fig id="fig2">
        <label>Figure 2</label>
        <graphic xlink:href="https://html.scirp.org/file/1724756-rId376.jpeg?20260714030708" />
      </fig>
      <p><bold>Figure 2.</bold> Right-triangle representation of one weighted prime gap.</p>
    </sec>
    <sec id="sec6">
      <title>6. Asymptotic Scale and Finite versus Infinite Summation</title>
      <p>The identity</p>
      <disp-formula id="FD53">
        <label>(53)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>is exact for every positive integer <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> . It does not by itself give a new estimate for <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , but it is consistent with the known asymptotic theory of prime sums.</p>
      <p>The prime number theorem implies</p>
      <disp-formula id="FD54">
        <label>(54)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>~</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mi>log</mml:mi>
            <mml:mi>n</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Consequently, the partial sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes satisfies the classical leading estimate</p>
      <disp-formula id="FD55">
        <label>(55)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>~</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msup>
              <mml:mi>n</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>log</mml:mi>
            <mml:mi>n</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This is a known asymptotic statement, not a consequence newly proved here.</p>
      <p>The gap formula gives a finite way to read the same scale. Since <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mrow><mml:mi> i </mml:mi><mml:mo> + </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:msub><mml:mo> − </mml:mo><mml:msub><mml:mi> p </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the exact identity (53) expresses <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> through weighted forward differences of the prime sequence. As intuition only, one may think of a typical gap near <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> as having size comparable to <inline-formula><mml:math><mml:mrow><mml:mi> log </mml:mi><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> . Replacing <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> g </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> by <inline-formula><mml:math><mml:mrow><mml:mi> log </mml:mi><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> in the weighted sum suggests</p>
      <disp-formula id="FD56">
        <label>(56)</label>
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>log</mml:mi>
            <mml:mi>i</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This heuristic sum has leading order</p>
      <disp-formula id="FD57">
        <label>(57)</label>
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msup>
              <mml:mi>n</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>log</mml:mi>
            <mml:mi>n</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The point is the weights in the finite identity have the same natural scale as the classical asymptotic estimate. The argument does not replace the prime number theorem and does not give a new proof of (55). Thus, the finite decomposition has the same dominant growth as the usual asymptotic estimate for <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> .</p>
      <p>The comparison of exact values of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> with the leading asymptotic scale <inline-formula><mml:math><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:msup><mml:mi> n </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mi> log </mml:mi><mml:mi> n </mml:mi></mml:mrow></mml:math></inline-formula> is plotted in <xref ref-type="fig" rid="fig3">Figure 3</xref>. The plotted ratio gives a numerical view of the known asymptotic relation and shows that the exact finite decomposition has the expected growth scale. The curve shows <inline-formula><mml:math><mml:mrow><mml:mrow><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow><mml:mo> / </mml:mo><mml:mrow><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mfrac><mml:mn> 1 </mml:mn><mml:mn> 2 </mml:mn></mml:mfrac><mml:msup><mml:mi> n </mml:mi><mml:mn> 2 </mml:mn></mml:msup><mml:mi> log </mml:mi><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:mrow></mml:mrow></mml:math></inline-formula> for finite <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> , with the horizontal line marking the asymptotic level 1.</p>
      <fig id="fig3">
        <label>Figure 3</label>
        <graphic xlink:href="https://html.scirp.org/file/1724756-rId415.jpeg?20260714030708" />
      </fig>
      <p><bold>Figure 3.</bold> Partial prime sums relative to the leading asymptotic scale.</p>
      <p>We now separate the finite theorem from infinite summation. The series</p>
      <disp-formula id="FD58">
        <label>(58)</label>
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>∞</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>diverges in the ordinary sense because</p>
      <disp-formula id="FD59">
        <label>(59)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>→</mml:mo>
            <mml:mi>∞</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore,</p>
      <disp-formula id="FD60">
        <label>(60)</label>
        <mml:math>
          <mml:mrow>
            <mml:mn>2</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>3</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>5</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mn>7</mml:mn>
            <mml:mo>+</mml:mo>
            <mml:mo>⋯</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>has no finite value as an ordinary convergent series. Similarly,</p>
      <disp-formula id="FD61">
        <label>(61)</label>
        <mml:math>
          <mml:mrow>
            <mml:mstyle displaystyle="true">
              <mml:munderover>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>k</mml:mi>
                  <mml:mo>=</mml:mo>
                  <mml:mn>1</mml:mn>
                </mml:mrow>
                <mml:mi>∞</mml:mi>
              </mml:munderover>
              <mml:mn>1</mml:mn>
            </mml:mstyle>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>diverges in the ordinary sense.</p>
      <p>Assigning a finite value to a divergent series requires a specified regularization method. Such methods have legitimate uses in analytic continuation, spectral theory, and mathematical physics. They do not turn a divergent series into an ordinary convergent sum. For this reason, the finite identity (53) is kept separate from any regularized interpretation of infinite prime sums. Any regularized treatment of</p>
      <disp-formula id="FD62">
        <mml:math>
          <mml:mrow>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>∞</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>would require its own definitions, convergence principles, and proofs. It is not part of the finite result proved in this paper.</p>
    </sec>
    <sec id="sec7">
      <title>7. Conclusions</title>
      <p>This work gives an exact finite decomposition for the sum of the first <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> primes. If <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> p </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> denotes the <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> -th prime and</p>
      <disp-formula id="FD63">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msub>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>then the partial prime sum satisfies</p>
      <disp-formula id="FD64">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>k</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>n</mml:mi>
            </mml:munderover>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msub>
              <mml:mi>p</mml:mi>
              <mml:mi>k</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msub>
              <mml:mi>g</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which is an exact rearrangement of the partial prime sum. It does not by itself give new estimates for <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> P </mml:mi><mml:mi> n </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , new bounds for prime gaps, or a new proof of the prime number theorem. Its contribution is structural which shows how each consecutive prime gap enters the finite sum through the weight <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> − </mml:mo><mml:mi> i </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>The same identity also has the geometric form</p>
      <disp-formula id="FD65">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</mml:mi>
              <mml:mi>n</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mn>2</mml:mn>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:munderover>
              <mml:mstyle mathsize="140%" displaystyle="true">
                <mml:mo>∑</mml:mo>
              </mml:mstyle>
              <mml:mrow>
                <mml:mi>i</mml:mi>
                <mml:mo>=</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:munderover>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>i</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD66">
        <mml:math>
          <mml:mrow>
            <mml:mi>tan</mml:mi>
            <mml:msub>
              <mml:mi>α</mml:mi>
              <mml:mi>i</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mrow>
                    <mml:mi>i</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msub>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>p</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>i</mml:mi>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>This form encodes each weighted gap as the slope of a right triangle. It preserves the same arithmetic information in geometric notation. The examples confirm the identity exactly for finite values of <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> . The asymptotic discussion shows that the decomposition is consistent with the classical scale</p>
      <disp-formula id="FD67">
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>P</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:msup>
              <mml:mi>n</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>log</mml:mi>
            <mml:mi>n</mml:mi>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The finite theorem is also independent of any regularized infinite summation. The Ramanujan-inspired aspect of this work also lies in the organization of arithmetic information and partial prime sum is rewritten as a weighted history of consecutive prime gaps. Thus, the result proved here belongs fully to finite number theory.</p>
    </sec>
    <sec id="sec8">
      <title>Acknowledgements</title>
      <p>We express our sincere respect for Srinivasa Ramanujan, whose work continues to influence how mathematicians think about arithmetic structure, partitions, summation and the order hidden inside numerical patterns.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Bateman, P.T. and Diamond, H.G. (1996) A Hundred Years of Prime Numbers. <italic>American Mathematical Monthly</italic>, 103, 729-741. https://doi.org/10.2307/2974443 <pub-id pub-id-type="doi">10.2307/2974443</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/2974443">https://doi.org/10.2307/2974443</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Bateman, P.T.</string-name>
              <string-name>Diamond, H.G.</string-name>
            </person-group>
            <year>1996</year>
            <article-title>A Hundred Years of Prime Numbers</article-title>
            <source>American Mathematical Monthly</source>
            <volume>103</volume>
            <pub-id pub-id-type="doi">10.2307/2974443</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Shimada, K. and Koyama, S. (2025) Weighted Prime Number Theorem on Arithmetic Progressions with Refinements. <italic>Mathematics</italic>, 13, Article 2564. https://doi.org/10.3390/math13162564 <pub-id pub-id-type="doi">10.3390/math13162564</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.3390/math13162564">https://doi.org/10.3390/math13162564</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Shimada, K.</string-name>
              <string-name>Koyama, S.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>Weighted Prime Number Theorem on Arithmetic Progressions with Refinements</article-title>
            <source>Mathematics</source>
            <volume>13</volume>
            <elocation-id>2564</elocation-id>
            <pub-id pub-id-type="doi">10.3390/math13162564</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Suzuki, M. (2025) On Variants of Chebyshev’s Conjecture. <italic>The</italic><italic>Ramanujan</italic><italic>Journal</italic>, 68, Article No. 95. https://doi.org/10.1007/s11139-025-01238-9 <pub-id pub-id-type="doi">10.1007/s11139-025-01238-9</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1007/s11139-025-01238-9">https://doi.org/10.1007/s11139-025-01238-9</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Suzuki, M.</string-name>
            </person-group>
            <year>2025</year>
            <article-title>On Variants of Chebyshev’s Conjecture</article-title>
            <source>The Ramanujan Journal</source>
            <volume>68</volume>
            <elocation-id>No</elocation-id>
            <pub-id pub-id-type="doi">10.1007/s11139-025-01238-9</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="confproc">Ramanujan, S. (1915) Highly Composite Numbers. <italic>P</italic><italic>roc</italic><italic>eedings</italic><italic>of</italic><italic>the</italic><italic>London</italic><italic>Mathematical</italic><italic>Society</italic>, 2, 347-409. https://doi.org/10.1112/plms/s2_14.1.347 <pub-id pub-id-type="doi">10.1112/plms/s2_14.1.347</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1112/plms/s2_14.1.347">https://doi.org/10.1112/plms/s2_14.1.347</ext-link></mixed-citation>
          <element-citation publication-type="confproc">
            <person-group person-group-type="author">
              <string-name>Ramanujan, S.</string-name>
            </person-group>
            <year>1915</year>
            <article-title>Highly Composite Numbers</article-title>
            <source>Proceedings of the London Mathematical Society</source>
            <volume>2</volume>
            <pub-id pub-id-type="doi">10.1112/plms/s2_14.1.347</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="confproc">Hardy, G.H. and Ramanujan, S. (1918) Asymptotic Formulae in Combinatory Analysis. <italic>P</italic><italic>roc</italic><italic>eedings</italic><italic>of</italic><italic>the</italic><italic>London</italic><italic>Mathematical</italic><italic>Society</italic>, 2, 75-115. https://doi.org/10.1112/plms/s2-17.1.75 <pub-id pub-id-type="doi">10.1112/plms/s2-17.1.75</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1112/plms/s2-17.1.75">https://doi.org/10.1112/plms/s2-17.1.75</ext-link></mixed-citation>
          <element-citation publication-type="confproc">
            <person-group person-group-type="author">
              <string-name>Hardy, G.H.</string-name>
              <string-name>Ramanujan, S.</string-name>
            </person-group>
            <year>1918</year>
            <article-title>Asymptotic Formulae in Combinatory Analysis</article-title>
            <source>Proceedings of the London Mathematical Society</source>
            <volume>2</volume>
            <pub-id pub-id-type="doi">10.1112/plms/s2-17.1.75</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Nicolas, J. and Robin, G. (1997) Highly Composite Numbers by Srinivasa Ramanujan. <italic>The</italic><italic>Ramanujan</italic><italic>Journal</italic>, 1, 119-153. https://doi.org/10.1023/a:1009764017495 <pub-id pub-id-type="doi">10.1023/a:1009764017495</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1023/a:1009764017495">https://doi.org/10.1023/a:1009764017495</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Nicolas, J.</string-name>
              <string-name>Robin, G.</string-name>
            </person-group>
            <year>1997</year>
            <article-title>Highly Composite Numbers by Srinivasa Ramanujan</article-title>
            <source>The Ramanujan Journal</source>
            <volume>1</volume>
            <fpage>100976</fpage>
            <pub-id pub-id-type="doi">10.1023/a:1009764017495</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Goldstein, L.J. (1973) A History of the Prime Number Theorem. <italic>The</italic><italic>American</italic><italic>Mathematica</italic><italic>l</italic><italic>Monthly</italic>, 80, 599-615. https://doi.org/10.1080/00029890.1973.11993338 <pub-id pub-id-type="doi">10.1080/00029890.1973.11993338</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1080/00029890.1973.11993338">https://doi.org/10.1080/00029890.1973.11993338</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Goldstein, L.J.</string-name>
            </person-group>
            <year>1973</year>
            <article-title>A History of the Prime Number Theorem</article-title>
            <source>The American Mathematical Monthly</source>
            <volume>80</volume>
            <pub-id pub-id-type="doi">10.1080/00029890.1973.11993338</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Axler, C. (2019) On the Sum of the First <italic>n</italic> Prime Numbers. <italic>Journal de Theorie des Nombres de Bordeaux</italic>, 31, 293-311. https://doi.org/10.5802/jtnb.1081 <pub-id pub-id-type="doi">10.5802/jtnb.1081</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.5802/jtnb.1081">https://doi.org/10.5802/jtnb.1081</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Axler, C.</string-name>
            </person-group>
            <year>2019</year>
            <article-title>On the Sum of the First n Prime Numbers</article-title>
            <source>Journal de Theorie des Nombres de Bordeaux</source>
            <volume>31</volume>
            <pub-id pub-id-type="doi">10.5802/jtnb.1081</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Sinha, N.K. (2010) On the Asymptotic Expansion of the Sum of the First n Primes. arXiv: 1011.1667 https://arxiv.org/pdf/1011.1667</mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Sinha, N.K.</string-name>
            </person-group>
            <year>2010</year>
            <article-title>On the Asymptotic Expansion of the Sum of the First n Primes</article-title>
            <fpage>1011</fpage>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Soundararajan, K. (2006) Small Gaps between Prime Numbers: The Work of Goldston-Pintz-Yildirim. <italic>Bulletin</italic><italic>of</italic><italic>the</italic><italic>American</italic><italic>Mathematical</italic><italic>Society</italic>, 44, 1-18. https://doi.org/10.1090/s0273-0979-06-01142-6 <pub-id pub-id-type="doi">10.1090/s0273-0979-06-01142-6</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1090/s0273-0979-06-01142-6">https://doi.org/10.1090/s0273-0979-06-01142-6</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Soundararajan, K.</string-name>
            </person-group>
            <year>2006</year>
            <article-title>Small Gaps between Prime Numbers: The Work of Goldston-Pintz-Yildirim</article-title>
            <source>Bulletin of the American Mathematical Society</source>
            <volume>44</volume>
            <pub-id pub-id-type="doi">10.1090/s0273-0979-06-01142-6</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Vaidyanathan, P.P. and Tenneti, S. (2020) Srinivasa Ramanujan and Signal-Processing Problems. <italic>Philosophical</italic><italic>Transactions</italic><italic>of</italic><italic>the</italic><italic>Royal</italic><italic>Society</italic><italic>A</italic>: <italic>Mathematical</italic>, <italic>Phy</italic><italic>sical</italic><italic>and</italic><italic>Engineering</italic><italic>Sciences</italic>, 378, Article ID: 20180446. https://doi.org/10.1098/rsta.2018.0446 <pub-id pub-id-type="doi">10.1098/rsta.2018.0446</pub-id><pub-id pub-id-type="pmid">31813374</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1098/rsta.2018.0446">https://doi.org/10.1098/rsta.2018.0446</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Vaidyanathan, P.P.</string-name>
              <string-name>Tenneti, S.</string-name>
              <string-name>Mathematical, P</string-name>
            </person-group>
            <year>2020</year>
            <article-title>Srinivasa Ramanujan and Signal-Processing Problems</article-title>
            <source>Philosophical Transactions of the Royal Society A: Mathematical</source>
            <volume>378</volume>
            <fpage>201804</fpage>
            <elocation-id>ID</elocation-id>
            <pub-id pub-id-type="doi">10.1098/rsta.2018.0446</pub-id>
            <pub-id pub-id-type="pmid">31813374</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>