En general, cuando una desigualdad estricta es multiplicada por 0, se obtiene 0=0,
por eso no se obtiene una desigualdad estricta.
<p>
Y cuando una desigualdad estricta es multiplicada por una variable o función
que puede tomar el valor 0, se debe reemplazar &lt; (resp. &gt;) por
$m_le (resp. $m_ge), debido a la posibilidad de multiplicar por cero.
