<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>&#8640;</mml:mo>
<mml:mi>u</mml:mi>
<mml:mtext>&#8201;</mml:mtext>
<mml:mtext>and</mml:mtext>
<mml:mtext>&#8201;</mml:mtext>
<mml:munder> <mml:mrow> <mml:mover accent="true"> <mml:mrow> <mml:mi>lim</mml:mi>
</mml:mrow>
<mml:mo stretchy="true">&#175;</mml:mo>
</mml:mover>
</mml:mrow>
<mml:mrow> <mml:mi>n</mml:mi>
<mml:mo>&#8594;</mml:mo>
<mml:mi>&#8734;</mml:mi>
</mml:mrow>
</mml:munder>
<mml:msup> <mml:mi>J</mml:mi>
<mml:mo>&#8242;</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>&#8201;</mml:mtext>
<mml:mo stretchy="false">(</mml:mo>
<mml:msub> <mml:mi>u</mml:mi>
<mml:mi>n</mml:mi>
</mml:msub>
<mml:mo>&#8722;</mml:mo>
<mml:mi>u</mml:mi>
<mml:mo stretchy="false">)</mml:mo>
<mml:mo>&#8804;</mml:mo>
<mml:mn>0</mml:mn>
<mml:mo>,</mml:mo>
<mml:mtext>&#8201;</mml:mtext>
<mml:mtext>implies</mml:mtext>
<mml:mtext>&#8201;</mml:mtext>
<mml:msub> <mml:mi>u</mml:mi>
<mml:mi>n</mml:mi>
</mml:msub>
<mml:mo>&#8594;</mml:mo>
<mml:mi>u</mml:mi>
<mml:mo>.</mml:mo>
</mml:mrow>
</mml:math>