lass="nv">at</span> <span class="nv">least</span> <span class="nv">max</span><span class="ss">(</span> <span class="mi">1</span>, <span class="nv">k</span> <span class="ss">)</span>, <span class="nv">otherwise</span> <span class="nv">LDB</span> <span class="nv">must</span> <span class="nv">be</span> <span class="nv">at</span>
        <span class="nv">least</span> <span class="nv">max</span><span class="ss">(</span> <span class="mi">1</span>, <span class="nv">n</span> <span class="ss">)</span>.
</code></pre>