<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><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-2078</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/tel.2015.55071</article-id><article-id pub-id-type="publisher-id">TEL-60096</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Business&amp;Economics</subject></subj-group></article-categories><title-group><article-title>
 
 
  A Note Regarding Prioritization on Congestible Networks
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>amuel</surname><given-names>Raisanen</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>Department of Economic, Central Michigan University, Mount Pleasant, MI, USA</addr-line></aff><author-notes><corresp id="cor1">* E-mail:</corresp></author-notes><pub-date pub-type="epub"><day>28</day><month>09</month><year>2015</year></pub-date><volume>05</volume><issue>05</issue><fpage>606</fpage><lpage>615</lpage><history><date date-type="received"><day>2</day>	<month>August</month>	<year>2015</year></date><date date-type="rev-recd"><day>accepted</day>	<month>25</month>	<year>September</year>	</date><date date-type="accepted"><day>30</day>	<month>September</month>	<year>2015</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  This paper examines the effect of allowing prioritization of traffic on a congestible network under three demand scenarios. First, it is shown that when prioritization does not affect usage, average congestion on the network increases. Second, this result is shown to hold when there is demand shifting toward the prioritized network service but no impact on total network traffic. Finally, it is proven that for prioritization to reduce average congestion on a network it must reduce the total traffic on the network.
 
</p></abstract><kwd-group><kwd>Congestible Networks</kwd><kwd> Net Neutrality</kwd><kwd> Regulation</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>On February 26, 2015, the US Federal Communications Commission (FCC) revised their Open Internet rules. These rules outline three main sets of regulations. First, Internet service providers (ISPs) cannot block access to legal content. Second, they cannot throttle access on the basis of content. Finally, and subject to much debate, the FCC disallows paid prioritization. Paid prioritization would allow ISPs to divert capacity to some content over non-prioritized content in exchange for compensation from the content provider.</p><p>A number of recent papers debate that network neutrality and paid prioritization would have an effect on consumer welfare and capacity investment. Some argue that allowing service providers to monetize capacity though paid prioritization will cause them to invest in additional capacity and use their capacity more efficiently. Proponents of allowing paid prioritization include Chen and Nalebu [<xref ref-type="bibr" rid="scirp.60096-ref1">1</xref>] , Hermalin and Katz [<xref ref-type="bibr" rid="scirp.60096-ref2">2</xref>] , Kr&#228;mer and Wiewiorra [<xref ref-type="bibr" rid="scirp.60096-ref3">3</xref>] , Sidak and Teece [<xref ref-type="bibr" rid="scirp.60096-ref4">4</xref>] , and Singer and Litan [<xref ref-type="bibr" rid="scirp.60096-ref5">5</xref>] . Others argue that paid prioritization would alter the incentives for the service provides such that they could increase profits by slowing non-prioritized traffic rather than increasing speeds for prioritized traffic. This would create a “fast” and “slow” lane for traffic. Cheng et al. [<xref ref-type="bibr" rid="scirp.60096-ref6">6</xref>] , Economides and T&#229;g [<xref ref-type="bibr" rid="scirp.60096-ref7">7</xref>] , Chettiar and Holladay [<xref ref-type="bibr" rid="scirp.60096-ref8">8</xref>] and Pil Choi and Kim [<xref ref-type="bibr" rid="scirp.60096-ref9">9</xref>] espouse variations of this view.</p><p>In this note, I examine how network congestion would be affected by prioritized traffic for a given level of capacity. Three cases are compared. First, it is shown that when consumer usage of all network services is perfectly inelastic, prioritization of some traffic increases average network congestion. Second, this result is expanded to the case where total network traffic is inelastic but traffic shifts toward the prioritized service. Finally, it is proven that for prioritization to reduce average congestion on a network it must reduce the total traffic on the network. In other words, less congestion for the prioritized traffic is insufficient to reduce average congestion unless the corresponding increase in congestion on the non-prioritized traffic reduces demand for the network overall.</p></sec><sec id="s2"><title>2. Prioritization and Network Congestion</title><p>To model network congestion, I expand upon the seminal MacKie-Mason and Varian [<xref ref-type="bibr" rid="scirp.60096-ref10">10</xref>] framework of a congestible network by allowing for multiple services to run on a single network. Content providers supply excludable services on the network while the access provider runs the network itself. Additionally there may be a number of non-excludable, default network services available. Let the set of services offered be indexed <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x5.png" xlink:type="simple"/></inline-formula> where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x6.png" xlink:type="simple"/></inline-formula> are the non-excludable services and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x7.png" xlink:type="simple"/></inline-formula> are the excludable services. Index consumers<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x8.png" xlink:type="simple"/></inline-formula>, then <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x9.png" xlink:type="simple"/></inline-formula> denotes person-i’s usage of service-s on the network. Person-i has network</p><p>consumption vector <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x10.png" xlink:type="simple"/></inline-formula> Demand for the network by person-i is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x11.png" xlink:type="simple"/></inline-formula>, total use of service-s is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x12.png" xlink:type="simple"/></inline-formula>, and total use for the network is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x13.png" xlink:type="simple"/></inline-formula>. Each user gains utility from the consumption of each service but is negatively impacted by congestion on the network. For a network with bandwidth capacity K, the level of congestion can be defined as<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x14.png" xlink:type="simple"/></inline-formula>.</p><p>To include prioritization into the model, let there be one content provider, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x15.png" xlink:type="simple"/></inline-formula>, who can pay the access provider a fee F for a guaranteed congestion factor of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x16.png" xlink:type="simple"/></inline-formula>, where <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x17.png" xlink:type="simple"/></inline-formula> is the congestion of all other traffic. Denoting the capacity dedicated to the prioritized content provider as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x18.png" xlink:type="simple"/></inline-formula> it holds that</p><disp-formula id="scirp.60096-formula633"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x19.png"  xlink:type="simple"/></disp-formula><p>Thus, to maintain congestion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x20.png" xlink:type="simple"/></inline-formula> for prioritized traffic, a network with capacity <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x21.png" xlink:type="simple"/></inline-formula> must allocate more of that capacity to the prioritized usage as traffic to that use increases. In other words, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x22.png" xlink:type="simple"/></inline-formula>is endogenous. Solving for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x23.png" xlink:type="simple"/></inline-formula> and substituting into the equation for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x20.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x21.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x22.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x23.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x24.png" xlink:type="simple"/></inline-formula> yields</p><disp-formula id="scirp.60096-formula634"><label>(1)</label><graphic position="anchor" xlink:href="http://html.scirp.org/file/2-1500772x25.png"  xlink:type="simple"/></disp-formula><p>From this equation come two key observations. First, the capacity is separable and constant-sum. Solving (1) for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x26.png" xlink:type="simple"/></inline-formula> shows</p><disp-formula id="scirp.60096-formula635"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x27.png"  xlink:type="simple"/></disp-formula><p>Unsurprisingly, capacity diverted to the prioritized traffic as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x28.png" xlink:type="simple"/></inline-formula> increase must be lost, one-for-one, from the rest of the network. Second, congestion for users on the non-prioritized portion of the network increases more for an additional unit of traffic by prioritized users than for an additional unit of traffic by non-prioritized users.</p><p>The effect of increasing traffic for a non-prioritized service, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x29.png" xlink:type="simple"/></inline-formula>, is <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x30.png" xlink:type="simple"/></inline-formula> The effect of increasing prioritized traffic on congestion for non-prioritized traffic is<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x31.png" xlink:type="simple"/></inline-formula>. As long as the prioritized traffic is guaranteed lower congestion than the non-prioritized traffic, prioritized traffic causes more congestion for non-prioritized traffic than does other non-prioritized traffic, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x29.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x30.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x31.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x32.png" xlink:type="simple"/></inline-formula>As a direct consequence, prioritization leads to an increase in the average congestion that a unit of traffic faces.</p><p>Theorem 1. Given average congestion without prioritization <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x33.png" xlink:type="simple"/></inline-formula> usage of services <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x33.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x34.png" xlink:type="simple"/></inline-formula> for</p><p><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x35.png" xlink:type="simple"/></inline-formula>, capacity<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x36.png" xlink:type="simple"/></inline-formula>, and prioritized traffic congestion of<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x35.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x36.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x37.png" xlink:type="simple"/></inline-formula>, then average congestion with prioritized traffic is larger than average congestion without prioritization:</p><disp-formula id="scirp.60096-formula636"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x38.png"  xlink:type="simple"/></disp-formula><p>This result presumes that demand for each of the services <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x39.png" xlink:type="simple"/></inline-formula> is perfectly inelastic. It is unrealistic to assume that as service <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x39.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x40.png" xlink:type="simple"/></inline-formula> is guaranteed lower congestion that it will not receive increased traffic. People will switch from other services to use the more of the prioritized service. As traffic flows to the prioritized service the prioritized traffic faces lower congestion and the non-priority traffic faces higher congestion. As demand for the prioritized service increases, the prioritized traffic will require more of the total capacity in order to maintain a constant level of congestion. This reduces the capacity available for the non-prioritized traffic increasing its congestion. Because the level of congestion guaranteed to the prioritized traffic is lower than the level of congestion of the non-prioritized traffic, the required capacity diversion is such that the average traffic faces increased average congestion.</p><p>Now, to simplify the notation, let a negative index on demand denote demand for all services except the magnitude of the index, e.g.<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x41.png" xlink:type="simple"/></inline-formula>.</p><p>Theorem 2. For a given level of capacity<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x42.png" xlink:type="simple"/></inline-formula>, total demand<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x43.png" xlink:type="simple"/></inline-formula>, and prioritized congestion<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x42.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x43.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x44.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.60096-formula637"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x45.png"  xlink:type="simple"/></disp-formula><p>for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula> where<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x48.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x49.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x50.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x51.png" xlink:type="simple"/></inline-formula> Additionally, the result only holds with equality when <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x52.png" xlink:type="simple"/></inline-formula> or<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x46.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x47.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x48.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x49.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x50.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x51.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x52.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x53.png" xlink:type="simple"/></inline-formula>.</p><p>While Theorem 2 states that when total demand is inelastic, prioritizing traffic increases the average level of congestion, the proof does not require that the guaranteed level of congestion for prioritized traffic be less than before prioritization (see Appendix). In fact even deprioritized traffic will increase the average level of congestion as long as it does not eliminate usage of the deprioritized service. As such, Theorem 2 states that to minimize the average congestion traffic on a network faces, Net Neutrality is the required policy.</p><p>When total demand for the congestible resource is not perfectly inelastic with regard to prioritized traffic, demand can either increase or decrease as prioritized congestion is reduced. Total demand may increase if prioritization of a given service attracts new users to the network. On the other hand, total demand may be reduced by prioritization if the corresponding increase in congestion for non-prioritized traffic sufficiently discourages network usage. Theorem 3 states that average congestion can be reduced only in the case where prioritization of some traffic causes total demand for the network to decline.</p><p>Theorem 3. Defining the average network congestion as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x54.png" xlink:type="simple"/></inline-formula> and the absence of prioritization as <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x54.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x55.png" xlink:type="simple"/></inline-formula> then</p><disp-formula id="scirp.60096-formula638"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x56.png"  xlink:type="simple"/></disp-formula><p>if and only if <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x57.png" xlink:type="simple"/></inline-formula></p><fig id="fig1"  position="float"><label><xref ref-type="fig" rid="fig1">Figure 1</xref></label><caption><title> Prioritized traffic and average congestion</title></caption><graphic mimetype="image"   position="float"  xlink:type="simple"  xlink:href="http://html.scirp.org/file/2-1500772x58.png"/></fig><p><xref ref-type="fig" rid="fig1">Figure 1</xref> summarizes these results by showing how guaranteeing lower congestion for prioritized traffic affects the average level of congestion faced by traffic on the network. When demand for all services is constant with respect to congestion, average congestion increases slowly as some traffic is prioritized. If total network usage is constant but traffic shifts towards the prioritized services then average congestion increases quickly as some traffic is prioritized. When prioritizing some traffic leads to a net decline in network traffic, prioritization initially decreases the average congestion on the network. This effect, however, is limited and guaranteeing lower and lower congestion for the prioritized service will eventually increase the average level of congestion on the network.<sup>1</sup></p></sec><sec id="s3"><title>3. Concluding Remarks</title><p>While this paper is agnostic on the efficiency of paid prioritization and network neutrality, it is strongly suggestive that any prioritization scheme will lead to higher network congestion. When the cost of changing network capacity is large, firms will alter their capacity infrequently. As such, capacity can be taken as a sunk investment and congestion will depend primarily on usage. As firms are unlikely to use prioritization to reduce demand for their network, the above results can be taken to show that in the absence of a net neutrality rule average congestion on the network will increase.</p></sec><sec id="s4"><title>Acknowledgments</title><p>I would like to thank the participants at the 2015 Western Economic Association International session 27 for their invaluable suggestions.</p></sec><sec id="s5"><title>Cite this paper</title><p>SamuelRaisanen, (2015) A Note Regarding Prioritization on Congestible Networks. Theoretical Economics Letters,05,606-615. doi: 10.4236/tel.2015.55071</p></sec><sec id="s6"><title>Proof Appendix</title>Proof of Theorem 1<p>We want to show that combining all traffic to use capacity <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x60.png" xlink:type="simple"/></inline-formula> results in a lower average congestion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x61.png" xlink:type="simple"/></inline-formula> than prioritizing traffic ensuring traffic <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x62.png" xlink:type="simple"/></inline-formula> receives congestion <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x60.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x61.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x62.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x63.png" xlink:type="simple"/></inline-formula> and the remaining traffic has congestion deter-</p><p>mined by the remaining capacity. Formally stated this says, given<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x64.png" xlink:type="simple"/></inline-formula>, and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x65.png" xlink:type="simple"/></inline-formula> such that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x64.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x65.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x66.png" xlink:type="simple"/></inline-formula>, then</p><disp-formula id="scirp.60096-formula639"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x67.png"  xlink:type="simple"/></disp-formula><p>Proof. For temporary simplification of notation, let <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula> <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula> Given that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula> for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x72.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x73.png" xlink:type="simple"/></inline-formula> we are assured that<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x74.png" xlink:type="simple"/></inline-formula>, <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x75.png" xlink:type="simple"/></inline-formula>,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x76.png" xlink:type="simple"/></inline-formula>. Additionally,<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x68.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x69.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x70.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x71.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x72.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x73.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x74.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x75.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x76.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x77.png" xlink:type="simple"/></inline-formula>. We proceed by algebraic manipulation from</p><disp-formula id="scirp.60096-formula640"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x78.png"  xlink:type="simple"/></disp-formula><p>Since <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x79.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x79.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x80.png" xlink:type="simple"/></inline-formula> are strictly positive,</p><disp-formula id="scirp.60096-formula641"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x81.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula642"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x82.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula643"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x83.png"  xlink:type="simple"/></disp-formula><p>and because <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x84.png" xlink:type="simple"/></inline-formula></p><disp-formula id="scirp.60096-formula644"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x85.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula645"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x86.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula646"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x87.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula647"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x88.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula648"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x89.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula649"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x90.png"  xlink:type="simple"/></disp-formula><p>Algebraic manipulation verifies that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x91.png" xlink:type="simple"/></inline-formula> thus</p><disp-formula id="scirp.60096-formula650"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x92.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula651"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x93.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula652"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x94.png"  xlink:type="simple"/></disp-formula><p>As <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x95.png" xlink:type="simple"/></inline-formula> we continue multiplying by<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x95.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x96.png" xlink:type="simple"/></inline-formula>.</p><disp-formula id="scirp.60096-formula653"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x97.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula654"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x98.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula655"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x99.png"  xlink:type="simple"/></disp-formula><p>Substituting for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x100.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x100.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x101.png" xlink:type="simple"/></inline-formula> gives</p><disp-formula id="scirp.60096-formula656"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x102.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula657"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x103.png"  xlink:type="simple"/></disp-formula><p>Rearranging the definitions of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x105.png" xlink:type="simple"/></inline-formula> to solve for capacity yields <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x106.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x107.png" xlink:type="simple"/></inline-formula>. Substituting in for capacities <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x108.png" xlink:type="simple"/></inline-formula> and <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x109.png" xlink:type="simple"/></inline-formula> and then substituting for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x104.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x105.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x106.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x107.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x108.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x109.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x110.png" xlink:type="simple"/></inline-formula> yields our result.</p><disp-formula id="scirp.60096-formula658"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x111.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula659"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x112.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula660"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x113.png"  xlink:type="simple"/></disp-formula>Proof of Theorem 2<p>Proof. Given that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x114.png" xlink:type="simple"/></inline-formula> then for all <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x115.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x114.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x115.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x116.png" xlink:type="simple"/></inline-formula>,</p><disp-formula id="scirp.60096-formula661"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x117.png"  xlink:type="simple"/></disp-formula><p>Additionally, this is a strict inequality whenever <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x118.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x119.png" xlink:type="simple"/></inline-formula>. Expanding and substituting for <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x118.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x119.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x120.png" xlink:type="simple"/></inline-formula> yields</p><disp-formula id="scirp.60096-formula662"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x121.png"  xlink:type="simple"/></disp-formula><p>Multiplying through by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x122.png" xlink:type="simple"/></inline-formula> and expanding gives</p><disp-formula id="scirp.60096-formula663"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x123.png"  xlink:type="simple"/></disp-formula><p>From here adding terms <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x124.png" xlink:type="simple"/></inline-formula> to each side of the inequality and algebraically rearranging using the appropriate substitutions yields the result.</p><disp-formula id="scirp.60096-formula664"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x125.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula665"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x126.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula666"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x127.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula667"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x128.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula668"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x129.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula669"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x130.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula670"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x131.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula671"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x132.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula672"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x133.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula673"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x134.png"  xlink:type="simple"/></disp-formula>Proof of Theorem 3<p>Proof. Each of the following implications is bidirectional and follows from <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x135.png" xlink:type="simple"/></inline-formula> and the definitions of <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x136.png" xlink:type="simple"/></inline-formula> and<inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x135.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x136.png" xlink:type="simple"/></inline-formula><inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x137.png" xlink:type="simple"/></inline-formula>.</p><p>Given that <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x138.png" xlink:type="simple"/></inline-formula> if follows</p><disp-formula id="scirp.60096-formula674"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x139.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula675"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x140.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula676"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x141.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula677"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x142.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula678"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x143.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula679"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x144.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula680"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x145.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula681"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x146.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula682"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x147.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula683"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x148.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula684"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x149.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula685"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x150.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula686"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x151.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula687"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x152.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula688"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x153.png"  xlink:type="simple"/></disp-formula><p>Dividing by <inline-formula><inline-graphic xlink:href="http://html.scirp.org/file/2-1500772x154.png" xlink:type="simple"/></inline-formula> and algebraically rearranging yields</p><disp-formula id="scirp.60096-formula689"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x155.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula690"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x156.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula691"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x157.png"  xlink:type="simple"/></disp-formula><disp-formula id="scirp.60096-formula692"><graphic  xlink:href="http://html.scirp.org/file/2-1500772x158.png"  xlink:type="simple"/></disp-formula></sec><sec id="s7"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.60096-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Chen, M.K. and Nalebu, B.J. (2006) One-Way Essential Complements. Cowels Foundation Discussion Paper.</mixed-citation></ref><ref id="scirp.60096-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Hermalin, B.E. and Katz, M.L. (2007) The Economics of Product-Line Restrictions with an Application to the Network Neutrality Debate. Information Economics and Policy, 19, 215-248. http://dx.doi.org/10.1016/j.infoecopol.2007.04.001</mixed-citation></ref><ref id="scirp.60096-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Kramer, J. and Wiewiorra, L. (2012) Network Neutrality and Congestion Sensitive Content Providers: Implications for Content Variety, Broadband Investment, and Regulation. Information Systems Research, 23, 1303-1321. 
http://dx.doi.org/10.1287/isre.1120.0420</mixed-citation></ref><ref id="scirp.60096-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Sidak, J.G. and Teece, D.J. (2010) Innovation Spillovers and the “Dirt Road” Fallacy: The Intellectual Bankruptcy of Banning Optional Transactions for Enhanced Delivery over the Internet. Journal of Competition Law and Economics, 6, 521-594. http://dx.doi.org/10.1093/joclec/nhq003</mixed-citation></ref><ref id="scirp.60096-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Singer, H.J. and Litan, R.E. (2007) Unintended Consequences of Net Neutrality Regulation. Journal on Telecommunications and High Technology Law.</mixed-citation></ref><ref id="scirp.60096-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Cheng, H.K., Bandyopadhyay, S. and Guo, H. (2011) The Debate on Net Neutrality: A Policy Perspective. Information Systems Research, 22, 60-82. http://dx.doi.org/10.1287/isre.1090.0257</mixed-citation></ref><ref id="scirp.60096-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Economides, N. and Tag, J. (2012) Network Neutrality on the Internet: A Two-Sided Market Analysis. Information Economics and Policy, 24, 91-104. http://dx.doi.org/10.1016/j.infoecopol.2012.01.001</mixed-citation></ref><ref id="scirp.60096-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Chettiar, I.M. and Holladay, J.S. (2010) Free to Invest: The Economic Benefits of Preserving Net Neutrality. Report No. 4, Institute for Policy Integrity, New York University School of Law, New York.</mixed-citation></ref><ref id="scirp.60096-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Pil Choi, J. and Kim, B.-C. (2010) Net Neutrality and Investment Incentives. The RAND Journal of Economics, 41, 446-471. http://dx.doi.org/10.1111/j.1756-2171.2010.00107.x</mixed-citation></ref><ref id="scirp.60096-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">MacKie-Mason, J.K. and Varian, H.R. (1995) Pricing Congestible Network Resources. IEEE Journal on Selected Areas in Communications, 13, 1141-1149. http://dx.doi.org/10.1109/49.414634</mixed-citation></ref></ref-list></back></article>