<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow> <mml:mtable class="gathered"> <mml:mtr> <mml:mtd> <mml:mi mathvariant="bold">l</mml:mi>
<mml:mi mathvariant="bold">e</mml:mi>
<mml:mi mathvariant="bold">f</mml:mi>
<mml:msub> <mml:mrow> <mml:mi mathvariant="bold">t</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mtext>&#160;>&#160;</mml:mtext>
<mml:mi>k</mml:mi>
<mml:mo class="MathClass-rel">&#8660;</mml:mo>
<mml:mi mathvariant="bold">l</mml:mi>
<mml:mi mathvariant="bold">e</mml:mi>
<mml:mi mathvariant="bold">f</mml:mi>
<mml:msub> <mml:mrow> <mml:mi mathvariant="bold">t</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-rel">&#8712;</mml:mo>
<mml:mi mathvariant="bold">c</mml:mi>
<mml:mi mathvariant="bold">o</mml:mi>
<mml:mi mathvariant="bold">n</mml:mi>
<mml:msub> <mml:mrow> <mml:mi mathvariant="bold">f</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>k</mml:mi>
<mml:mo class="MathClass-bin">-</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-punc">,</mml:mo>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd> <mml:mi mathvariant="bold">r</mml:mi>
<mml:mi mathvariant="bold">i</mml:mi>
<mml:mi mathvariant="bold">g</mml:mi>
<mml:mi mathvariant="bold">h</mml:mi>
<mml:msub> <mml:mrow> <mml:mi mathvariant="bold">t</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-rel">&lt;</mml:mo>
<mml:mi>k</mml:mi>
<mml:mo class="MathClass-rel">&#8660;</mml:mo>
<mml:mi mathvariant="bold">r</mml:mi>
<mml:mi mathvariant="bold">i</mml:mi>
<mml:mi mathvariant="bold">g</mml:mi>
<mml:mi mathvariant="bold">h</mml:mi>
<mml:msub> <mml:mrow> <mml:mi mathvariant="bold">t</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>k</mml:mi>
</mml:mrow>
</mml:msub>
<mml:mo class="MathClass-rel">&#8712;</mml:mo>
<mml:mi mathvariant="bold">c</mml:mi>
<mml:mi mathvariant="bold">o</mml:mi>
<mml:mi mathvariant="bold">n</mml:mi>
<mml:msub> <mml:mrow> <mml:mi mathvariant="bold">f</mml:mi>
</mml:mrow>
<mml:mrow> <mml:mi>k</mml:mi>
<mml:mo class="MathClass-bin">-</mml:mo>
<mml:mn>1</mml:mn>
</mml:mrow>
</mml:msub>
</mml:mtd>
</mml:mtr>
<mml:mtr> <mml:mtd/>
</mml:mtr>
</mml:mtable>
</mml:mrow>
</mml:math>