<?xml version="1.0" encoding='utf-8'?>
<!DOCTYPE wml PUBLIC "-//WAPFORUM//DTD WML 1.1//EN" "http://www.wapforum.org/DTD/wml_1.1.xml">
<wml>
<card id="card1" title="Boole&#039;s inequality - Page 3 - Wikipedia">
<p>
<a accesskey="1" href="page.php?w=Boole's_inequality&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Boole%27s_inequality&amp;p=4">3.Next</a>
</p>
<p>is ?-<a href="page.php?w=Subadditivity">sub-additive</a>. Thus Boole's inequality holds not only for probability measures , but more generally when  is replaced by any measure.</p>

<p><big>Proof</big></p>
<p><big> Proof using induction </big></p>
<p>Boole's inequality may be proved for finite collections of  events using the method of <a href="page.php?w=Mathematical_induction">induction</a>.</p>

<p>For the  case, it follows that</p>

<p>
:</p>

<p>For the case , we have</p>

<p>
:</p>

<p>Since  and because the union operation is <a href="page.php?w=associative">associative</a>,</p><p>
<a accesskey="1" href="page.php?w=Boole's_inequality&amp;p=2">1.Previous</a><br />
<a accesskey="3" href="page.php?w=Boole%27s_inequality&amp;p=4">3.Next</a>
</p>

<do type="prev" label="Search">
        <go href="search.wml"/>
</do>

</card>
</wml>
