<?xml version="1.0"?>
<div><span class="kw">theorem </span><a NAME="T11"><span class="comment"><font color="firebrick">:: TAYLOR_1:11</font></span><br/></a><div class="add"> <a href="power.html#K4" title="POWER:func.4">number_e</a>  <a href="xxreal_0.html#NR4" title="XXREAL_0:NR.4">&gt;</a> 2</div></div>
