<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mi>n</mml:mi>
</mml:msub>
<mml:mo>⇀</mml:mo>
<mml:mi>u</mml:mi>
<mml:mtext> </mml:mtext>
<mml:mtext>and</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:munder>
<mml:mrow>
<mml:mover accent="true">
<mml:mrow>
<mml:mi>lim</mml:mi>
</mml:mrow>
<mml:mo stretchy="true">¯</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow>
<mml:mi>n</mml:mi>
<mml:mo>→</mml:mo>
<mml:mi>∞</mml:mi>
</mml:mrow>
</mml:munder>
<mml:msup>
<mml:mi>J</mml:mi>
<mml:mo>′</mml:mo>
</mml:msup>
<mml:mo stretchy="false">(</mml:mo>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mi>n</mml:mi>
</mml:msub>
<mml:mo stretchy="false">)</mml:mo>
<mml:mtext> </mml:mtext>
<mml:mo stretchy="false">(</mml:mo>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mi>n</mml:mi>
</mml:msub>
<mml:mo>−</mml:mo>
<mml:mi>u</mml:mi>
<mml:mo stretchy="false">)</mml:mo>
<mml:mo>≤</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo>,</mml:mo>
<mml:mtext> </mml:mtext>
<mml:mtext>implies</mml:mtext>
<mml:mtext> </mml:mtext>
<mml:msub>
<mml:mi>u</mml:mi>
<mml:mi>n</mml:mi>
</mml:msub>
<mml:mo>→</mml:mo>
<mml:mi>u</mml:mi>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>