<?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">tel</journal-id>
      <journal-title-group>
        <journal-title>Theoretical Economics Letters</journal-title>
      </journal-title-group>
      <issn pub-type="epub">2162-2086</issn>
      <issn pub-type="ppub">2162-2078</issn>
      <publisher>
        <publisher-name>Scientific Research Publishing</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.4236/tel.2026.162029</article-id>
      <article-id pub-id-type="publisher-id">tel-150941</article-id>
      <article-categories>
        <subj-group>
          <subject>Article</subject>
        </subj-group>
        <subj-group>
          <subject>Business</subject>
          <subject>Economics</subject>
        </subj-group>
      </article-categories>
      <title-group>
        <article-title>Dynamic Entry, Competition, and Welfare Loss under Uncertainty</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name name-style="western">
            <surname>Fujita</surname>
            <given-names>Yasunori</given-names>
          </name>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
      </contrib-group>
      <aff id="aff1"><label>1</label> Professor of Economics, Keio University, Tokyo, Japan </aff>
      <author-notes>
        <fn fn-type="conflict" id="fn-conflict">
          <p>The author declares no conflicts of interest regarding the publication of this paper.</p>
        </fn>
      </author-notes>
      <pub-date pub-type="epub">
        <day>01</day>
        <month>04</month>
        <year>2026</year>
      </pub-date>
      <pub-date pub-type="collection">
        <month>04</month>
        <year>2026</year>
      </pub-date>
      <volume>16</volume>
      <issue>02</issue>
      <fpage>496</fpage>
      <lpage>504</lpage>
      <history>
        <date date-type="received">
          <day>20</day>
          <month>01</month>
          <year>2026</year>
        </date>
        <date date-type="accepted">
          <day>21</day>
          <month>04</month>
          <year>2026</year>
        </date>
        <date date-type="published">
          <day>24</day>
          <month>04</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/tel.2026.162029">https://doi.org/10.4236/tel.2026.162029</self-uri>
      <abstract>
        <p>This paper examines irreversible market entry under uncertainty in a Cournot oligopoly framework. While standard static Cournot models imply that increased competition monotonically reduces deadweight loss, this paper shows that intensified competition can amplify dynamic welfare losses when entry is irreversible and demand conditions are uncertain. Using a real-options approach, we derive closed-form expressions for privately and socially optimal entry thresholds and demonstrate that the wedge between them increases with the number of firms. Although greater competition improves static allocative efficiency by lowering prices, it reduces private entry incentives more rapidly than social benefits, leading firms to delay entry inefficiently. As a result, dynamic welfare losses arising from delayed market creation grow even as static inefficiency vanishes. These findings highlight a fundamental tension between static and intertemporal welfare effects of competition.</p>
      </abstract>
      <kwd-group kwd-group-type="author-generated" xml:lang="en">
        <kwd>Dynamic Entry</kwd>
        <kwd>Cournot Competition</kwd>
        <kwd>Real Options</kwd>
        <kwd>Entry Timing</kwd>
        <kwd>Welfare Loss</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec1">
      <title>1. Introduction</title>
      <p>In static Cournot models, an increase in number of firms reduces market power and monotonically decreases deadweight loss. In the limit, the Cournot equilibrium converges to the perfectly competitive outcome, a result known as the Cournot limit theorem. This classical insight, originating in [<xref ref-type="bibr" rid="B3">3</xref>] and formalized in modern treatments such as [<xref ref-type="bibr" rid="B15">15</xref>] and [<xref ref-type="bibr" rid="B14">14</xref>], firmly establishes competition as welfare improving in a static sense.</p>
      <p>A large literature has extended this static framework to study market structure and welfare. Early contributions include [<xref ref-type="bibr" rid="B4">4</xref>] and [<xref ref-type="bibr" rid="B13">13</xref>], who emphasized excess entry and product differentiation, while subsequent work such as [<xref ref-type="bibr" rid="B11">11</xref>] analyzed entry decisions under perfect foresight and certainty. In these models, welfare losses arise from excessive duplication of fixed costs, but the timing of entry itself plays no role.</p>
      <p>More recently, a growing literature has incorporated uncertainty and irreversibility into entry and investment decisions using real options theory. Seminal contributions by [<xref ref-type="bibr" rid="B12">12</xref>] and [<xref ref-type="bibr" rid="B6">6</xref>] demonstrate that uncertainty creates an option value of waiting, leading firms to delay irreversible investment. These insights have been applied to market entry, trade liberalization, and industrial organization ([<xref ref-type="bibr" rid="B5">5</xref>]; [<xref ref-type="bibr" rid="B10">10</xref>]; [<xref ref-type="bibr" rid="B9">9</xref>]). In these studies, delayed entry is privately optimal but may be socially inefficient.</p>
      <p>A related strand of research examines the interaction between competition and investment timing. [<xref ref-type="bibr" rid="B1">1</xref>] and [<xref ref-type="bibr" rid="B2">2</xref>] show that competitive pressures affect investment thresholds, while [<xref ref-type="bibr" rid="B7">7</xref>] and [<xref ref-type="bibr" rid="B8">8</xref>] emphasize strategic preemption and waiting in oligopolistic settings. However, much of this literature focuses on strategic interactions among a small number of firms or on preemption games, rather than on the welfare implications of entry timing under intensified competition.</p>
      <p>This paper contributes to these literatures by highlighting a novel tension between static and dynamic welfare effects of competition. While increased competition reduces static deadweight loss in Cournot markets, we show that, under uncertainty and irreversible entry, intensified competition can amplify <italic>dynamic welfare losses arising from delayed entry</italic>. The key mechanism is a growing wedge between the privately and socially optimal entry thresholds, which expands monotonically with the number of firms. Importantly, this result does not contradict the Cournot limit theorem; rather, it complements it by showing that competition can simultaneously mitigate static inefficiency and exacerbate intertemporal inefficiency.</p>
      <p>The remainder of the paper is organized as follows. Section 2 introduces the market environment. Section 3 derives the Cournot equilibrium and static welfare. Sections 4 and 5 characterize private and socially optimal entry timing, respectively. Section 6 analyzes the dynamic welfare loss from delayed entry and relates our findings to the Cournot limit theorem. In Section 7, we show that the excess entry theorem ([<xref ref-type="bibr" rid="B11">11</xref>]) holds in the setting of this study as well. Section 8 concludes.</p>
    </sec>
    <sec id="sec2">
      <title>2. Market Environment</title>
      <p>Consider a market where <italic>n</italic> symmetric firms exist. <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> x </mml:mi><mml:mi> i </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and <italic>P</italic> denotes firm <italic>i</italic>’s output and market price, respectively. We specify the inverse demand function as</p>
      <disp-formula id="FD1">
        <label>(1)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>P</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>a</mml:mi>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msub>
            <mml:mstyle displaystyle="true">
              <mml:msubsup>
                <mml:mo>∑</mml:mo>
                <mml:mrow>
                  <mml:mi>i</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>x</mml:mi>
                  <mml:mi>i</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mstyle>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mi> a </mml:mi></mml:math></inline-formula> is a positive constant. We also specify each firm’s marginal cost as <inline-formula><mml:math><mml:mrow><mml:mi> c </mml:mi><mml:mo> &lt; </mml:mo><mml:mi> a </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
      <p>The demand slope parameter <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is assumed to evolve stochastically according to a geometric Brownian motion</p>
      <disp-formula id="FD2">
        <label>(2)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>d</mml:mi>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msub>
            <mml:mi>d</mml:mi>
            <mml:mi>t</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mi>σ</mml:mi>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msub>
            <mml:mi>d</mml:mi>
            <mml:msub>
              <mml:mi>z</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msub>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:mrow><mml:mi> μ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> captures the expected rate at which market conditions improve (i.e., demand becomes less price sensitive), <inline-formula><mml:math><mml:mrow><mml:mi> σ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> measures uncertainty, and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> z </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> is a standard Brownian motion. The discount rate is <inline-formula><mml:math><mml:mrow><mml:mi> ρ </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> .</p>
      <p>Entry into the market is irreversible. When firms enter, each incurs a sunk cost <inline-formula><mml:math><mml:mrow><mml:mi> I </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> . After entry, no further fixed costs are incurred and Cournot competition prevails forever.</p>
      <p>We assume that firms are identical and follow identical threshold strategies. Consequently, entry occurs simultaneously when the state variable reaches the common threshold. This justifies the aggregate sunk cost term <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:mrow></mml:math></inline-formula> that appears in section 5.</p>
    </sec>
    <sec id="sec3">
      <title>3. Cournot Equilibrium and Static Welfare</title>
      <p>Given <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> active firms and a realization of <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , the standard Cournot analysis yields firm <italic>i</italic>’s output, total output and price in the Cournot equilibrium,</p>
      <disp-formula id="FD3">
        <label>(3)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>x</mml:mi>
              <mml:mi>i</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>a</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>c</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>;</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD4">
        <label>(4)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>Q</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>a</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>c</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>;</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD5">
        <label>(5)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>P</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>a</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:mi>c</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Thus, firm <italic>i</italic>’s profit, <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> π </mml:mi><mml:mi> i </mml:mi><mml:mo> * </mml:mo></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , consumer surplus, <inline-formula><mml:math><mml:mrow><mml:mi> C </mml:mi><mml:msup><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> and total surplus, <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:msup><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> are determined, respectively, as</p>
      <disp-formula id="FD6">
        <label>(6)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>π</mml:mi>
              <mml:mi>i</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:mi>n</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>;</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD7">
        <label>(7)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>C</mml:mi>
            <mml:msup>
              <mml:mi>S</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:mi>n</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>n</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>;</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD8">
        <label>(8)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>T</mml:mi>
            <mml:msup>
              <mml:mi>S</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:mo>,</mml:mo>
                <mml:mi>n</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>From (8), we see that for a given <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , total surplus increases with <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> , and static deadweight loss decreases monotonically, converging to zero as <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> .</p>
    </sec>
    <sec id="sec4">
      <title>4. Entry under Uncertainty: Private Incentives</title>
      <p>If a firm <italic>i</italic> enters when the state variable equals <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> , it obtains a perpetual profit flow <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> π </mml:mi><mml:mi> i </mml:mi><mml:mo> * </mml:mo></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> . Present discounted value of entry for an individual firm evaluated at the entry time is therefore <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mi> P </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:msubsup><mml:mi> π </mml:mi><mml:mi> i </mml:mi><mml:mo> * </mml:mo></mml:msubsup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> ρ </mml:mi><mml:mo> + </mml:mo><mml:mi> μ </mml:mi></mml:mrow></mml:mfrac><mml:mo> − </mml:mo><mml:mi> I </mml:mi></mml:mrow></mml:math></inline-formula> , which is rewritten as</p>
      <disp-formula id="FD9">
        <label>(9)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>V</mml:mi>
              <mml:mi>P</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>P</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>−</mml:mo>
            <mml:mi>I</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD10">
        <label>(10)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mi>P</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>ρ</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mi>μ</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Prior to entry, on the other hand, firm <italic>i</italic> holds an option to wait. The characteristic equation is obtained from the homogeneous part of the Bellman equation:</p>
      <disp-formula id="FD11">
        <label>(11)</label>
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msup>
              <mml:mi>σ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:msubsup>
              <mml:mi>b</mml:mi>
              <mml:mi>t</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msubsup>
            <mml:msup>
              <mml:mi>V</mml:mi>
              <mml:mo>″</mml:mo>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:msub>
              <mml:mi>b</mml:mi>
              <mml:mi>t</mml:mi>
            </mml:msub>
            <mml:msup>
              <mml:mi>V</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mo>−</mml:mo>
            <mml:mi>ρ</mml:mi>
            <mml:mi>V</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which yields the standard quadratic equation for the exponent.</p>
      <p>Standard real-options arguments imply that the optimal entry policy is characterized by a threshold <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> b </mml:mi><mml:mi> P </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> : the firm enters when <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> ≤ </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> P </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> .</p>
      <p>Let <inline-formula><mml:math><mml:munder accentunder="true"><mml:mi> β </mml:mi><mml:mo> _ </mml:mo></mml:munder></mml:math></inline-formula> denote the negative root of</p>
      <disp-formula id="FD12">
        <label>(12)</label>
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:msup>
              <mml:mi>σ</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mi>β</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>β</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mi>μ</mml:mi>
            <mml:mi>β</mml:mi>
            <mml:mo>−</mml:mo>
            <mml:mi>ρ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which is</p>
      <disp-formula id="FD13">
        <label>(13)</label>
        <mml:math>
          <mml:mrow>
            <mml:munder accentunder="true">
              <mml:mi>β</mml:mi>
              <mml:mo>_</mml:mo>
            </mml:munder>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:mn>2</mml:mn>
                </mml:mfrac>
                <mml:msup>
                  <mml:mi>σ</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mo>+</mml:mo>
                <mml:mi>μ</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:msqrt>
                  <mml:mrow>
                    <mml:msup>
                      <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>σ</mml:mi>
                              <mml:mn>2</mml:mn>
                            </mml:msup>
                            <mml:mo>+</mml:mo>
                            <mml:mi>μ</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                    <mml:mi>ρ</mml:mi>
                    <mml:msup>
                      <mml:mi>σ</mml:mi>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                </mml:msqrt>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>σ</mml:mi>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Then the privately optimal entry threshold is</p>
      <disp-formula id="FD14">
        <label>(14)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>b</mml:mi>
              <mml:mi>P</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>P</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mi>I</mml:mi>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>We assume that <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> b </mml:mi><mml:mi> P </mml:mi><mml:mo> * </mml:mo></mml:msubsup><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , which requires <inline-formula><mml:math><mml:mrow><mml:munder accentunder="true"><mml:mi> β </mml:mi><mml:mo> _ </mml:mo></mml:munder><mml:mo> &lt; </mml:mo><mml:mo> − </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> ; for this purpose, we impose <inline-formula><mml:math><mml:mrow><mml:mi> ρ </mml:mi><mml:mo> &gt; </mml:mo><mml:mi> μ </mml:mi><mml:mo> + </mml:mo><mml:msup><mml:mi> σ </mml:mi><mml:mn> 2 </mml:mn></mml:msup></mml:mrow></mml:math></inline-formula> .</p>
      <p>From (14), we see that an increase in the number of firms reduces <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> K </mml:mi><mml:mi> P </mml:mi></mml:msub></mml:mrow></mml:math></inline-formula> and therefore lowers <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> b </mml:mi><mml:mi> P </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> , implying that firms optimally delay entry as competition intensifies.</p>
    </sec>
    <sec id="sec5">
      <title>5. Socially Optimal Entry Timing</title>
      <p>From a social perspective, entry generates total surplus, <inline-formula><mml:math><mml:mrow><mml:mi> T </mml:mi><mml:msup><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:mi> b </mml:mi><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> , each period but requires the payment of the total sunk cost <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:mrow></mml:math></inline-formula> . Present discounted value of social surplus evaluated at the entry time is <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> V </mml:mi><mml:mi> S </mml:mi></mml:msub><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub></mml:mrow><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mfrac><mml:mrow><mml:mi> T </mml:mi><mml:msup><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> , </mml:mo><mml:mi> n </mml:mi></mml:mrow><mml:mo> ) </mml:mo></mml:mrow></mml:mrow><mml:mrow><mml:mi> ρ </mml:mi><mml:mo> + </mml:mo><mml:mi> μ </mml:mi></mml:mrow></mml:mfrac><mml:mo> − </mml:mo><mml:mi> n </mml:mi><mml:mi> I </mml:mi></mml:mrow></mml:math></inline-formula> , which is rewritten as</p>
      <disp-formula id="FD15">
        <label>(15)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>V</mml:mi>
              <mml:mi>S</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>S</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>b</mml:mi>
                  <mml:mi>t</mml:mi>
                </mml:msub>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>−</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mi>I</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD16">
        <label>(16)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>K</mml:mi>
              <mml:mi>S</mml:mi>
            </mml:msub>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>ρ</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mi>μ</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Applying the same optimal stopping logic, the socially optimal entry threshold <inline-formula><mml:math><mml:mrow><mml:msubsup><mml:mi> b </mml:mi><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> is determined as</p>
      <disp-formula id="FD17">
        <label>(17)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>b</mml:mi>
              <mml:mi>S</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:msub>
                  <mml:mi>K</mml:mi>
                  <mml:mi>S</mml:mi>
                </mml:msub>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mi>I</mml:mi>
              </mml:mrow>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>+</mml:mo>
                <mml:mfrac>
                  <mml:mn>1</mml:mn>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                </mml:mfrac>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>A direct comparison of (14) and (17) yields</p>
      <disp-formula id="FD18">
        <label>(18)</label>
        <mml:math>
          <mml:mrow>
            <mml:msubsup>
              <mml:mi>b</mml:mi>
              <mml:mi>S</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:mfrac>
            <mml:mtext>
               
            </mml:mtext>
            <mml:msubsup>
              <mml:mi>b</mml:mi>
              <mml:mi>P</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>From (18), we have the following lemma.</p>
      <p><italic><bold>Lemma.</bold></italic><inline-formula><mml:math display="inline"><mml:mrow><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> S </mml:mi></mml:mstyle><mml:mo> ∗ </mml:mo></mml:msubsup><mml:mo> &gt; </mml:mo><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> P </mml:mi></mml:mstyle><mml:mo> ∗ </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula><italic><bold>f</bold></italic><italic><bold>or any</bold></italic><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><italic><bold>.</bold></italic></p>
      <p>This lemma implies that society prefers entry to occur earlier (at a higher value of <inline-formula><mml:math><mml:mi> b </mml:mi></mml:math></inline-formula> ) than firms do privately.</p>
    </sec>
    <sec id="sec6">
      <title>6. Dynamic Welfare Loss from Delayed Entry</title>
      <p>The welfare loss associated with delayed entry is defined as the difference between sum of discounted present value of social welfare after entry occurs at the socially optimal threshold and sum of discounted present value of social welfare after entry occurs at the privately optimal threshold.</p>
      <p>When entry occurs at <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> , the present discounted value of total surplus thereafter, evaluated at the time <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> , is given by</p>
      <disp-formula id="FD19">
        <label>(19)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>S</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>ρ</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mi>μ</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>−</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mi>I</mml:mi>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which is equivalent to (15) with (16) and <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> substituted into it.</p>
      <p>On the other hand, when entry occurs at <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> P </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> , the present value of total surplus thereafter, evaluated also at the time <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> S </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> , is given by</p>
      <disp-formula id="FD20">
        <label>(20)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>P</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>P</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
                <mml:mo>,</mml:mo>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>a</mml:mi>
                            <mml:mo>−</mml:mo>
                            <mml:mi>c</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>μ</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:msubsup>
                      <mml:mi>b</mml:mi>
                      <mml:mi>P</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mo>−</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:msubsup>
                          <mml:mi>b</mml:mi>
                          <mml:mi>S</mml:mi>
                          <mml:mo>*</mml:mo>
                        </mml:msubsup>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:msubsup>
                          <mml:mi>b</mml:mi>
                          <mml:mi>P</mml:mi>
                          <mml:mo>*</mml:mo>
                        </mml:msubsup>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:munder accentunder="true">
                <mml:mi>β</mml:mi>
                <mml:mo>_</mml:mo>
              </mml:munder>
            </mml:msup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:munder accentunder="true"><mml:mi> β </mml:mi><mml:mo> _ </mml:mo></mml:munder></mml:math></inline-formula> is the parameter defined in (13).</p>
      <p>Therefore, the difference between (19) and (20) is</p>
      <disp-formula id="FD21">
        <label>(21)</label>
        <mml:math>
          <mml:mtable>
            <mml:mtr>
              <mml:mtd>
                <mml:msub>
                  <mml:mi>W</mml:mi>
                  <mml:mi>S</mml:mi>
                </mml:msub>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mi>b</mml:mi>
                      <mml:mi>S</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:msub>
                  <mml:mi>W</mml:mi>
                  <mml:mi>P</mml:mi>
                </mml:msub>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msubsup>
                      <mml:mi>b</mml:mi>
                      <mml:mi>P</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                    <mml:mo>,</mml:mo>
                    <mml:msubsup>
                      <mml:mi>b</mml:mi>
                      <mml:mi>S</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>=</mml:mo>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>a</mml:mi>
                            <mml:mo>−</mml:mo>
                            <mml:mi>c</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>μ</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:msubsup>
                      <mml:mi>b</mml:mi>
                      <mml:mi>S</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mo>−</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:mi>I</mml:mi>
              </mml:mtd>
            </mml:mtr>
            <mml:mtr>
              <mml:mtd>
                <mml:mtext>
                   
                </mml:mtext>
                <mml:mo>−</mml:mo>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:msup>
                          <mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>a</mml:mi>
                                <mml:mo>−</mml:mo>
                                <mml:mi>c</mml:mi>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:msup>
                          <mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>n</mml:mi>
                                <mml:mo>+</mml:mo>
                                <mml:mn>1</mml:mn>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>ρ</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mi>μ</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                        <mml:msubsup>
                          <mml:mi>b</mml:mi>
                          <mml:mi>P</mml:mi>
                          <mml:mo>*</mml:mo>
                        </mml:msubsup>
                      </mml:mrow>
                    </mml:mfrac>
                    <mml:mo>−</mml:mo>
                    <mml:mi>n</mml:mi>
                    <mml:mi>I</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mo>(</mml:mo>
                    <mml:mrow>
                      <mml:mfrac>
                        <mml:mrow>
                          <mml:msubsup>
                            <mml:mi>b</mml:mi>
                            <mml:mi>S</mml:mi>
                            <mml:mo>*</mml:mo>
                          </mml:msubsup>
                        </mml:mrow>
                        <mml:mrow>
                          <mml:msubsup>
                            <mml:mi>b</mml:mi>
                            <mml:mi>P</mml:mi>
                            <mml:mo>*</mml:mo>
                          </mml:msubsup>
                        </mml:mrow>
                      </mml:mfrac>
                    </mml:mrow>
                    <mml:mo>)</mml:mo>
                  </mml:mrow>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                </mml:msup>
                <mml:mo>,</mml:mo>
              </mml:mtd>
            </mml:mtr>
          </mml:mtable>
        </mml:math>
      </disp-formula>
      <p>which is rewritten as</p>
      <disp-formula id="FD22">
        <label>(22)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>S</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>P</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>P</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
                <mml:mo>,</mml:mo>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>a</mml:mi>
                        <mml:mo>−</mml:mo>
                        <mml:mi>c</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
                <mml:mi>ρ</mml:mi>
              </mml:mrow>
            </mml:mfrac>
            <mml:msubsup>
              <mml:mi>b</mml:mi>
              <mml:mi>P</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msubsup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mi>I</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:mfrac>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                </mml:msup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>by using (18).</p>
      <p>Substituting (10) and (14), and introducing the notation</p>
      <disp-formula id="FD23">
        <label>(23)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>α</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mo>−</mml:mo>
            <mml:munder accentunder="true">
              <mml:mi>β</mml:mi>
              <mml:mo>_</mml:mo>
            </mml:munder>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>we obtain</p>
      <disp-formula id="FD24">
        <label>(24)</label>
        <mml:math>
          <mml:mrow>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>S</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>−</mml:mo>
            <mml:msub>
              <mml:mi>W</mml:mi>
              <mml:mi>P</mml:mi>
            </mml:msub>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>P</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
                <mml:mo>,</mml:mo>
                <mml:msubsup>
                  <mml:mi>b</mml:mi>
                  <mml:mi>S</mml:mi>
                  <mml:mo>*</mml:mo>
                </mml:msubsup>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mi>I</mml:mi>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mi>α</mml:mi>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>[</mml:mo>
              <mml:mrow>
                <mml:mn>1</mml:mn>
                <mml:mo>−</mml:mo>
                <mml:mi>α</mml:mi>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>2</mml:mn>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:mrow>
                        </mml:mfrac>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:msup>
                <mml:mo>+</mml:mo>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mfrac>
                          <mml:mn>2</mml:mn>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>2</mml:mn>
                          </mml:mrow>
                        </mml:mfrac>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mi>α</mml:mi>
                </mml:msup>
              </mml:mrow>
              <mml:mo>]</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Here, let</p>
      <disp-formula id="FD25">
        <label>(25)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mi>α</mml:mi>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and let the right-hand side of (24) be denoted as a function of <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> by <inline-formula><mml:math><mml:mrow><mml:mi> f </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> . Then we have</p>
      <disp-formula id="FD26">
        <label>(26)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mi>α</mml:mi>
            </mml:mfrac>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>n</mml:mi>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>and therefore,</p>
      <disp-formula id="FD27">
        <label>(27)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>0</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD28">
        <label>(28)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>f</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mi>α</mml:mi>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>g</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>n</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>+</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:msup>
                  <mml:mi>g</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>n</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Here,</p>
      <disp-formula id="FD29">
        <label>(29)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>g</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>n</mml:mi>
              </mml:mrow>
              <mml:mrow>
                <mml:msup>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                  <mml:mn>2</mml:mn>
                </mml:msup>
              </mml:mrow>
            </mml:mfrac>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mn>2</mml:mn>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD30">
        <mml:math>
          <mml:mrow>
            <mml:mi>n</mml:mi>
            <mml:mo>&gt;</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <disp-formula id="FD31">
        <label>(30)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>g</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>&gt;</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>On the other hand, let <inline-formula><mml:math><mml:mrow><mml:mi> t </mml:mi><mml:mo> = </mml:mo><mml:mfrac><mml:mn> 2 </mml:mn><mml:mrow><mml:mi> n </mml:mi><mml:mo> + </mml:mo><mml:mn> 2 </mml:mn></mml:mrow></mml:mfrac></mml:mrow></mml:math></inline-formula> . Then for <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> , we have <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> t </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , and <inline-formula><mml:math><mml:mrow><mml:mi> g </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> can be written as</p>
      <disp-formula id="FD32">
        <label>(31)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:msup>
              <mml:mi>t</mml:mi>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mi>t</mml:mi>
              <mml:mi>α</mml:mi>
            </mml:msup>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Now,</p>
      <disp-formula id="FD33">
        <label>(32)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>g</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>t</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mi>t</mml:mi>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>2</mml:mn>
              </mml:mrow>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>t</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≤</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>so <inline-formula><mml:math><mml:mrow><mml:mi> g </mml:mi><mml:mrow><mml:mo> ( </mml:mo><mml:mi> t </mml:mi><mml:mo> ) </mml:mo></mml:mrow></mml:mrow></mml:math></inline-formula> is monotonically decreasing on <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> t </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> . Moreover,</p>
      <disp-formula id="FD34">
        <label>(33)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mn>1</mml:mn>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>1</mml:mn>
            <mml:mo>−</mml:mo>
            <mml:mi>α</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>α</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore, for <inline-formula><mml:math><mml:mrow><mml:mn> 0 </mml:mn><mml:mo> &lt; </mml:mo><mml:mi> t </mml:mi><mml:mo> ≤ </mml:mo><mml:mn> 1 </mml:mn></mml:mrow></mml:math></inline-formula> , that is, for <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> &gt; </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> ,</p>
      <disp-formula id="FD35">
        <label>(34)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>g</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>≥</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence,</p>
      <disp-formula id="FD36">
        <label>(35)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>f</mml:mi>
              <mml:mo>′</mml:mo>
            </mml:msup>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>α</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mi>α</mml:mi>
            </mml:mfrac>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mi>g</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>n</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>+</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:msup>
                  <mml:mi>g</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>n</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>&gt;</mml:mo>
            <mml:mn>0</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>is obtained.</p>
      <p>Thus, we have the following proposition.</p>
      <p><italic><bold>Proposition. While static deadweight loss vanishes as</bold></italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula><italic><bold>increases, the dynamic welfare loss arising from delayed entry becomes more severe.</bold></italic><italic><bold>More pre</bold></italic><italic><bold>cisely, when welfare loss is evaluated as the difference between social value under entry at the socially optimal threshold</bold></italic><inline-formula><mml:math display="inline"><mml:mrow><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> S </mml:mi></mml:mstyle><mml:mo> ∗ </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula><italic><bold>and social value under entry at the privately optimal threshold</bold></italic><inline-formula><mml:math display="inline"><mml:mrow><mml:msubsup><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> b </mml:mi></mml:mstyle><mml:mstyle mathvariant="bold" mathsize="normal"><mml:mi> P </mml:mi></mml:mstyle><mml:mo> ∗ </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula><italic><bold>, its absolute magnitude is strictly increasing in</bold></italic><inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula><italic><bold>.</bold></italic></p>
      <p>The Cournot limit theorem concerns static allocative efficiency: for a given market, increasing the number of firms reduces price distortions and deadweight loss. The welfare loss identified in this paper is fundamentally different. It is intertemporal and arises from delayed market creation under uncertainty and irreversibility.</p>
      <p>Stronger competition reduces private entry incentives more rapidly than it increases social benefits, because firms do not internalize consumer surplus. Consequently, competition mitigates static inefficiency while amplifying dynamic inefficiency. The two effects coexist and operate in opposite directions.</p>
    </sec>
    <sec id="sec7">
      <title>7. Excess Entry in the Present Setting</title>
      <p>In this section, we show that the excess entry theorem holds in the setting of this paper.</p>
      <p>Let <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> denote the number of firms. Suppose that all firms enter when <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msubsup><mml:mi> b </mml:mi><mml:mi> P </mml:mi><mml:mo> * </mml:mo></mml:msubsup></mml:mrow></mml:math></inline-formula> . Let <inline-formula><mml:math><mml:mrow><mml:mi> V </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> be the present discounted value of total surplus evaluated at the initial state <inline-formula><mml:math><mml:mrow><mml:msub><mml:mi> b </mml:mi><mml:mi> t </mml:mi></mml:msub><mml:mo> = </mml:mo><mml:msub><mml:mi> b </mml:mi><mml:mn> 0 </mml:mn></mml:msub></mml:mrow></mml:math></inline-formula> . Then,</p>
      <disp-formula id="FD37">
        <label>(36)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>V</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>a</mml:mi>
                            <mml:mo>−</mml:mo>
                            <mml:mi>c</mml:mi>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:msup>
                      <mml:mrow>
                        <mml:mrow>
                          <mml:mo>(</mml:mo>
                          <mml:mrow>
                            <mml:mi>n</mml:mi>
                            <mml:mo>+</mml:mo>
                            <mml:mn>1</mml:mn>
                          </mml:mrow>
                          <mml:mo>)</mml:mo>
                        </mml:mrow>
                      </mml:mrow>
                      <mml:mn>2</mml:mn>
                    </mml:msup>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>μ</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:msubsup>
                      <mml:mi>b</mml:mi>
                      <mml:mi>P</mml:mi>
                      <mml:mo>*</mml:mo>
                    </mml:msubsup>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mo>−</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:msub>
                          <mml:mi>b</mml:mi>
                          <mml:mn>0</mml:mn>
                        </mml:msub>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:msubsup>
                          <mml:mi>b</mml:mi>
                          <mml:mi>P</mml:mi>
                          <mml:mo>*</mml:mo>
                        </mml:msubsup>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:munder accentunder="true">
                <mml:mi>β</mml:mi>
                <mml:mo>_</mml:mo>
              </mml:munder>
            </mml:msup>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where <inline-formula><mml:math><mml:munder accentunder="true"><mml:mi> β </mml:mi><mml:mo> _ </mml:mo></mml:munder></mml:math></inline-formula> is the parameter defined in (13).</p>
      <p>Substituting (10) and (14) into (36) yields</p>
      <disp-formula id="FD38">
        <label>(37)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>V</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>n</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mn>2</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>ρ</mml:mi>
                    <mml:mi>I</mml:mi>
                  </mml:mrow>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>μ</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mfrac>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mo>−</mml:mo>
                <mml:mi>n</mml:mi>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>b</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                    <mml:mo>⋅</mml:mo>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>n</mml:mi>
                                <mml:mo>−</mml:mo>
                                <mml:mn>1</mml:mn>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                        <mml:mi>ρ</mml:mi>
                        <mml:mi>I</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>a</mml:mi>
                                <mml:mo>−</mml:mo>
                                <mml:mi>c</mml:mi>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:mfrac>
                    <mml:mo>⋅</mml:mo>
                    <mml:mfrac>
                      <mml:munder accentunder="true">
                        <mml:mi>β</mml:mi>
                        <mml:mo>_</mml:mo>
                      </mml:munder>
                      <mml:mrow>
                        <mml:munder accentunder="true">
                          <mml:mi>β</mml:mi>
                          <mml:mo>_</mml:mo>
                        </mml:munder>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:munder accentunder="true">
                <mml:mi>β</mml:mi>
                <mml:mo>_</mml:mo>
              </mml:munder>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Define the positive constant (independent of <inline-formula><mml:math><mml:mi> n </mml:mi></mml:math></inline-formula> )</p>
      <disp-formula id="FD39">
        <label>(38)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>L</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mi>I</mml:mi>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:msub>
                      <mml:mi>b</mml:mi>
                      <mml:mn>0</mml:mn>
                    </mml:msub>
                    <mml:mo>⋅</mml:mo>
                    <mml:mfrac>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mi>I</mml:mi>
                      </mml:mrow>
                      <mml:mrow>
                        <mml:msup>
                          <mml:mrow>
                            <mml:mrow>
                              <mml:mo>(</mml:mo>
                              <mml:mrow>
                                <mml:mi>a</mml:mi>
                                <mml:mo>−</mml:mo>
                                <mml:mi>c</mml:mi>
                              </mml:mrow>
                              <mml:mo>)</mml:mo>
                            </mml:mrow>
                          </mml:mrow>
                          <mml:mn>2</mml:mn>
                        </mml:msup>
                      </mml:mrow>
                    </mml:mfrac>
                    <mml:mo>⋅</mml:mo>
                    <mml:mfrac>
                      <mml:munder accentunder="true">
                        <mml:mi>β</mml:mi>
                        <mml:mo>_</mml:mo>
                      </mml:munder>
                      <mml:mrow>
                        <mml:munder accentunder="true">
                          <mml:mi>β</mml:mi>
                          <mml:mo>_</mml:mo>
                        </mml:munder>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                    </mml:mfrac>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:munder accentunder="true">
                <mml:mi>β</mml:mi>
                <mml:mo>_</mml:mo>
              </mml:munder>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Then</p>
      <disp-formula id="FD40">
        <label>(39)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>V</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>L</mml:mi>
            <mml:mtext>
               
            </mml:mtext>
            <mml:mi>n</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mi>ρ</mml:mi>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>μ</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mo>⋅</mml:mo>
                <mml:mfrac>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
              </mml:mrow>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Let</p>
      <disp-formula id="FD41">
        <label>(40)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>f</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mi>n</mml:mi>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>=</mml:mo>
            <mml:mi>n</mml:mi>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mfrac>
                  <mml:mi>ρ</mml:mi>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mi>ρ</mml:mi>
                        <mml:mo>+</mml:mo>
                        <mml:mi>μ</mml:mi>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mo>⋅</mml:mo>
                <mml:mfrac>
                  <mml:munder accentunder="true">
                    <mml:mi>β</mml:mi>
                    <mml:mo>_</mml:mo>
                  </mml:munder>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                </mml:mfrac>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>2</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:mi>I</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>n</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
              </mml:mrow>
            </mml:msup>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Maximizing <inline-formula><mml:math><mml:mrow><mml:mi> V </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> is equivalent to maximizing <inline-formula><mml:math><mml:mrow><mml:mi> f </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> . Taking logs and differentiating yields</p>
      <disp-formula id="FD42">
        <label>(41)</label>
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mrow>
                <mml:msup>
                  <mml:mi>f</mml:mi>
                  <mml:mo>′</mml:mo>
                </mml:msup>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>n</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>f</mml:mi>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mi>n</mml:mi>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mi>n</mml:mi>
            </mml:mfrac>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mi>A</mml:mi>
              <mml:mrow>
                <mml:mi>A</mml:mi>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>2</mml:mn>
                <mml:mi>A</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD43">
        <label>(42)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>A</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mi>ρ</mml:mi>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mi>ρ</mml:mi>
                    <mml:mo>+</mml:mo>
                    <mml:mi>μ</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>⋅</mml:mo>
            <mml:mfrac>
              <mml:munder accentunder="true">
                <mml:mi>β</mml:mi>
                <mml:mo>_</mml:mo>
              </mml:munder>
              <mml:mrow>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>The first-order condition <inline-formula><mml:math><mml:mrow><mml:msup><mml:mi> f </mml:mi><mml:mo> ′ </mml:mo></mml:msup><mml:mrow><mml:mo> ( </mml:mo><mml:mi> n </mml:mi><mml:mo> ) </mml:mo></mml:mrow><mml:mo> = </mml:mo><mml:mn> 0 </mml:mn></mml:mrow></mml:math></inline-formula> implies</p>
      <disp-formula id="FD44">
        <label>(43)</label>
        <mml:math>
          <mml:mrow>
            <mml:mfrac>
              <mml:mn>1</mml:mn>
              <mml:mi>n</mml:mi>
            </mml:mfrac>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mi>A</mml:mi>
              <mml:mrow>
                <mml:mi>A</mml:mi>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>2</mml:mn>
                <mml:mi>A</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>+</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
              </mml:mrow>
              <mml:mrow>
                <mml:mi>n</mml:mi>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>=</mml:mo>
            <mml:mn>0</mml:mn>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>which can be rewritten as</p>
      <disp-formula id="FD45">
        <label>(44)</label>
        <mml:math>
          <mml:mrow>
            <mml:mi>ρ</mml:mi>
            <mml:munder accentunder="true">
              <mml:mi>β</mml:mi>
              <mml:mo>_</mml:mo>
            </mml:munder>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:msup>
              <mml:mi>n</mml:mi>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mn>2</mml:mn>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>μ</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>ρ</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>n</mml:mi>
            <mml:mo>+</mml:mo>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mi>μ</mml:mi>
            <mml:mo>−</mml:mo>
            <mml:mi>ρ</mml:mi>
            <mml:mo>=</mml:mo>
            <mml:mn>0.</mml:mn>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Hence, the socially optimal number of firms is determined as</p>
      <disp-formula id="FD46">
        <label>(45)</label>
        <mml:math>
          <mml:mrow>
            <mml:msup>
              <mml:mi>n</mml:mi>
              <mml:mo>*</mml:mo>
            </mml:msup>
            <mml:mo>=</mml:mo>
            <mml:mfrac>
              <mml:mrow>
                <mml:mo>−</mml:mo>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:munder accentunder="true">
                          <mml:mi>β</mml:mi>
                          <mml:mo>_</mml:mo>
                        </mml:munder>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>ρ</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mo>+</mml:mo>
                <mml:msqrt>
                  <mml:mtext>Δ</mml:mtext>
                </mml:msqrt>
              </mml:mrow>
              <mml:mrow>
                <mml:mn>2</mml:mn>
                <mml:mi>ρ</mml:mi>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
            </mml:mfrac>
            <mml:mo>,</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>where</p>
      <disp-formula id="FD47">
        <label>(46)</label>
        <mml:math>
          <mml:mrow>
            <mml:mtext>Δ</mml:mtext>
            <mml:mo>=</mml:mo>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:msup>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:mrow>
                      <mml:mo>(</mml:mo>
                      <mml:mrow>
                        <mml:mn>2</mml:mn>
                        <mml:munder accentunder="true">
                          <mml:mi>β</mml:mi>
                          <mml:mo>_</mml:mo>
                        </mml:munder>
                        <mml:mo>+</mml:mo>
                        <mml:mn>1</mml:mn>
                      </mml:mrow>
                      <mml:mo>)</mml:mo>
                    </mml:mrow>
                    <mml:mi>μ</mml:mi>
                    <mml:mo>−</mml:mo>
                    <mml:mi>ρ</mml:mi>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
              </mml:mrow>
              <mml:mn>2</mml:mn>
            </mml:msup>
            <mml:mo>−</mml:mo>
            <mml:mn>4</mml:mn>
            <mml:mi>ρ</mml:mi>
            <mml:munder accentunder="true">
              <mml:mi>β</mml:mi>
              <mml:mo>_</mml:mo>
            </mml:munder>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:munder accentunder="true">
                  <mml:mi>β</mml:mi>
                  <mml:mo>_</mml:mo>
                </mml:munder>
                <mml:mo>+</mml:mo>
                <mml:mn>1</mml:mn>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mrow>
              <mml:mo>(</mml:mo>
              <mml:mrow>
                <mml:mrow>
                  <mml:mo>(</mml:mo>
                  <mml:mrow>
                    <mml:munder accentunder="true">
                      <mml:mi>β</mml:mi>
                      <mml:mo>_</mml:mo>
                    </mml:munder>
                    <mml:mo>+</mml:mo>
                    <mml:mn>1</mml:mn>
                  </mml:mrow>
                  <mml:mo>)</mml:mo>
                </mml:mrow>
                <mml:mi>μ</mml:mi>
                <mml:mo>−</mml:mo>
                <mml:mi>ρ</mml:mi>
              </mml:mrow>
              <mml:mo>)</mml:mo>
            </mml:mrow>
            <mml:mo>.</mml:mo>
          </mml:mrow>
        </mml:math>
      </disp-formula>
      <p>Therefore, free entry (i.e., <inline-formula><mml:math><mml:mrow><mml:mi> n </mml:mi><mml:mo> → </mml:mo><mml:mi> ∞ </mml:mi></mml:mrow></mml:math></inline-formula> ) is not optimal. We conclude that the excess entry theorem holds in the present setting.</p>
    </sec>
    <sec id="sec8">
      <title>8. Conclusion</title>
      <p>This paper has analyzed irreversible market entry under uncertainty in a Cournot environment. Using a linear inverse demand system and constant marginal costs, we derived closed-form expressions for privately and socially optimal entry thresholds. The analysis reveals a systematic wedge between private and social entry incentives, reflecting the fact that firms internalize only their own profits, whereas society also values consumer surplus generated by entry.</p>
      <p>Unlike the preemption literature ([<xref ref-type="bibr" rid="B7">7</xref>]; [<xref ref-type="bibr" rid="B8">8</xref>]), we abstract from strategic asymmetries and focus on symmetric threshold behavior. Incorporating preemption would likely lead to earlier entry and reduce the delay identified here.</p>
      <p>A key result is that intensified competition has opposing effects on static and dynamic efficiency. Consistent with the Cournot limit theorem, an increase in the number of firms reduces static deadweight loss and brings market outcomes closer to perfect competition. At the same time, stronger competition lowers private entry incentives more rapidly than social benefits, thereby widening the gap between socially and privately optimal entry times. This gap gives rise to a dynamic welfare loss associated with delayed entry, which is conceptually distinct from static allocative inefficiency.</p>
      <p>The paper therefore highlights that competition can simultaneously improve static efficiency and worsen dynamic efficiency when entry is irreversible and subject to uncertainty. This insight suggests that welfare evaluations based solely on static considerations may be incomplete. Competition policy, deregulation, and market-opening reforms should take into account their impact on entry timing, as intensified competition may exacerbate welfare losses arising from socially inefficient delays. Future research could extend the analysis to settings with endogenous firm numbers, strategic preemption, or open-economy interactions.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <title>References</title>
      <ref id="B1">
        <label>1.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Abel, A. B., &amp; Eberly, J. C. (1996). Optimal Investment with Costly Reversibility. <italic>The</italic><italic>Review</italic><italic>of</italic><italic>Economic</italic><italic>Studies,</italic><italic>63,</italic> 581-593. https://doi.org/10.2307/2297794 <pub-id pub-id-type="doi">10.2307/2297794</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/2297794">https://doi.org/10.2307/2297794</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Abel, A.</string-name>
              <string-name>Eberly, J.</string-name>
            </person-group>
            <year>1996</year>
            <pub-id pub-id-type="doi">10.2307/2297794</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B2">
        <label>2.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Caballero, R. J. (1991). On the Sign of the Investment-Uncertainty Relationship. <italic>American Economic Review, 81,</italic>279-288.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Caballero, R.</string-name>
            </person-group>
            <year>1991</year>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B3">
        <label>3.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Cournot, A. A. (1838). <italic>Recherches sur les principes mathématiques de la théorie des richesses</italic>. Hachette.</mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Cournot, A.</string-name>
            </person-group>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B4">
        <label>4.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Dixit, A. K. (1979). A Model of Duopoly Suggesting a Theory of Entry Barriers. <italic>The</italic><italic>Bell</italic><italic>Journal</italic><italic>of</italic><italic>Economics,</italic><italic>10,</italic> 20-32. https://doi.org/10.2307/3003317 <pub-id pub-id-type="doi">10.2307/3003317</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/3003317">https://doi.org/10.2307/3003317</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Dixit, A.</string-name>
            </person-group>
            <year>1979</year>
            <pub-id pub-id-type="doi">10.2307/3003317</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B5">
        <label>5.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Dixit, A. K. (1989). Entry and Exit Decisions under Uncertainty. <italic>Journal</italic><italic>of</italic><italic>Political</italic><italic>Economy,</italic><italic>97,</italic> 620-638. https://doi.org/10.1086/261619 <pub-id pub-id-type="doi">10.1086/261619</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1086/261619">https://doi.org/10.1086/261619</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Dixit, A.</string-name>
            </person-group>
            <year>1989</year>
            <pub-id pub-id-type="doi">10.1086/261619</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B6">
        <label>6.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Dixit, A. K., &amp; Pindyck, R. S. (1994). <italic>Investment under Uncertainty</italic>. Princeton University Press. https://doi.org/10.1515/9781400830176 <pub-id pub-id-type="doi">10.1515/9781400830176</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1515/9781400830176">https://doi.org/10.1515/9781400830176</ext-link></mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Dixit, A.</string-name>
              <string-name>Pindyck, R.</string-name>
            </person-group>
            <year>1994</year>
            <pub-id pub-id-type="doi">10.1515/9781400830176</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B7">
        <label>7.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Fudenberg, D., &amp; Tirole, J. (1985). Preemption and Rent Equalization in the Adoption of New Technology. <italic>The</italic><italic>Review</italic><italic>of</italic><italic>Economic</italic><italic>Studies,</italic><italic>52,</italic> 383-401. https://doi.org/10.2307/2297660 <pub-id pub-id-type="doi">10.2307/2297660</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/2297660">https://doi.org/10.2307/2297660</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Fudenberg, D.</string-name>
              <string-name>Tirole, J.</string-name>
            </person-group>
            <year>1985</year>
            <pub-id pub-id-type="doi">10.2307/2297660</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B8">
        <label>8.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Grenadier, S. R. (1996). The Strategic Exercise of Options: Development Cascades and Overbuilding in Real Estate Markets. <italic>The</italic><italic>Journal</italic><italic>of</italic><italic>Finance,</italic><italic>51,</italic> 1653-1679. https://doi.org/10.1111/j.1540-6261.1996.tb05221.x <pub-id pub-id-type="doi">10.1111/j.1540-6261.1996.tb05221.x</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1111/j.1540-6261.1996.tb05221.x">https://doi.org/10.1111/j.1540-6261.1996.tb05221.x</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Grenadier, S.</string-name>
            </person-group>
            <year>1996</year>
            <pub-id pub-id-type="doi">10.1111/j.1540-6261.1996.tb05221.x</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B9">
        <label>9.</label>
        <citation-alternatives>
          <mixed-citation publication-type="other">Grenadier, S. R. (2002). Option Exercise Games: An Application to the Equilibrium Investment Strategies of Firms. <italic>Review</italic><italic>of</italic><italic>Financial</italic><italic>Studies,</italic><italic>15,</italic> 691-721. https://doi.org/10.1093/rfs/15.3.691 <pub-id pub-id-type="doi">10.1093/rfs/15.3.691</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.1093/rfs/15.3.691">https://doi.org/10.1093/rfs/15.3.691</ext-link></mixed-citation>
          <element-citation publication-type="other">
            <person-group person-group-type="author">
              <string-name>Grenadier, S.</string-name>
            </person-group>
            <year>2002</year>
            <pub-id pub-id-type="doi">10.1093/rfs/15.3.691</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B10">
        <label>10.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Leahy, J. V. (1993). Investment in Competitive Equilibrium: The Optimality of Myopic Behavior. <italic>The</italic><italic>Quarterly</italic><italic>Journal</italic><italic>of</italic><italic>Economics,</italic><italic>108,</italic> 1105-1133. https://doi.org/10.2307/2118461 <pub-id pub-id-type="doi">10.2307/2118461</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/2118461">https://doi.org/10.2307/2118461</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Leahy, J.</string-name>
            </person-group>
            <year>1993</year>
            <pub-id pub-id-type="doi">10.2307/2118461</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B11">
        <label>11.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Mankiw, N. G., &amp; Whinston, M. D. (1986). Free Entry and Social Inefficiency. <italic>The</italic><italic>RAND</italic><italic>Journal</italic><italic>of</italic><italic>Economics,</italic><italic>17,</italic> 48-58. https://doi.org/10.2307/2555627 <pub-id pub-id-type="doi">10.2307/2555627</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/2555627">https://doi.org/10.2307/2555627</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Mankiw, N.</string-name>
              <string-name>Whinston, M.</string-name>
            </person-group>
            <year>1986</year>
            <pub-id pub-id-type="doi">10.2307/2555627</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B12">
        <label>12.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">McDonald, R., &amp; Siegel, D. (1986). The Value of Waiting to Invest. <italic>The</italic><italic>Quarterly</italic><italic>Journal</italic><italic>of</italic><italic>Economics,</italic><italic>101,</italic> 707-727. https://doi.org/10.2307/1884175 <pub-id pub-id-type="doi">10.2307/1884175</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/1884175">https://doi.org/10.2307/1884175</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>McDonald, R.</string-name>
              <string-name>Siegel, D.</string-name>
            </person-group>
            <year>1986</year>
            <pub-id pub-id-type="doi">10.2307/1884175</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B13">
        <label>13.</label>
        <citation-alternatives>
          <mixed-citation publication-type="journal">Salop, S. C. (1979). Monopolistic Competition with Outside Goods. <italic>The</italic><italic>Bell</italic><italic>Journal</italic><italic>of</italic><italic>Economics,</italic><italic>10,</italic> 141-156. https://doi.org/10.2307/3003323 <pub-id pub-id-type="doi">10.2307/3003323</pub-id><ext-link ext-link-type="uri" xlink:href="https://doi.org/10.2307/3003323">https://doi.org/10.2307/3003323</ext-link></mixed-citation>
          <element-citation publication-type="journal">
            <person-group person-group-type="author">
              <string-name>Salop, S.</string-name>
            </person-group>
            <year>1979</year>
            <pub-id pub-id-type="doi">10.2307/3003323</pub-id>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B14">
        <label>14.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Tirole, J. (1988). <italic>The Theory of Industrial Organization</italic>. MIT Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Tirole, J.</string-name>
            </person-group>
            <year>1988</year>
          </element-citation>
        </citation-alternatives>
      </ref>
      <ref id="B15">
        <label>15.</label>
        <citation-alternatives>
          <mixed-citation publication-type="book">Vives, X. (1999). <italic>Oligopoly Pricing: Old Ideas and New Tools</italic>. MIT Press.</mixed-citation>
          <element-citation publication-type="book">
            <person-group person-group-type="author">
              <string-name>Vives, X.</string-name>
            </person-group>
            <year>1999</year>
          </element-citation>
        </citation-alternatives>
      </ref>
    </ref-list>
  </back>
</article>