<mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML">
<mml:mrow> <mml:msubsup> <mml:mi>v</mml:mi>
<mml:mrow> <mml:mi>t</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>g</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>t</mml:mi>
<mml:mspace width="0.25em"/>
<mml:mi>p</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mi mathvariant="italic">enforced</mml:mi>
</mml:msubsup>
<mml:mo>=</mml:mo>
<mml:msubsup> <mml:mi>v</mml:mi>
<mml:mrow> <mml:mi>t</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>g</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>t</mml:mi>
<mml:mspace width="0.25em"/>
<mml:mi>p</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mi mathvariant="italic">initial</mml:mi>
</mml:msubsup>
<mml:mo>+</mml:mo>
<mml:mfrac> <mml:mi>k</mml:mi>
<mml:mi>n</mml:mi>
</mml:mfrac>
<mml:mfenced close=")" open="("> <mml:mrow> <mml:msubsup> <mml:mi>v</mml:mi>
<mml:mrow> <mml:mi>t</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>g</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>t</mml:mi>
<mml:mspace width="0.25em"/>
<mml:mi>p</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mi mathvariant="italic">max</mml:mi>
</mml:msubsup>
<mml:mo>&#8722;</mml:mo>
<mml:msubsup> <mml:mi>v</mml:mi>
<mml:mrow> <mml:mi>t</mml:mi>
<mml:mi>a</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>g</mml:mi>
<mml:mi>e</mml:mi>
<mml:mi>t</mml:mi>
<mml:mspace width="0.25em"/>
<mml:mi>p</mml:mi>
<mml:mi>r</mml:mi>
<mml:mi>o</mml:mi>
<mml:mi>d</mml:mi>
<mml:mi>u</mml:mi>
<mml:mi>c</mml:mi>
<mml:mi>t</mml:mi>
</mml:mrow>
<mml:mi mathvariant="italic">initial</mml:mi>
</mml:msubsup>
</mml:mrow>
</mml:mfenced>
</mml:mrow>
</mml:math>