6:T160c,

Proposition 19.13 (Minimax sandwich stopping rule). If $b_M=\eta_D(L)$ , then the supplied presentation attains the global Dyck-trace minimum and $\beta_D(L)=\eta_D(L)=b_M.$ Both endpoints are computed by terminating finite procedures.

1:["$","div",null,{"className":"site-shell","children":[["$","a",null,{"className":"skip-link","href":"#site-content","children":"Skip to content"}],["$","header",null,{"className":"site-header","children":[["$","a",null,{"className":"site-title","href":"/","aria-label":"FPRD Lab home","children":"FPRD Lab"}],["$","nav",null,{"aria-label":"Primary navigation","children":[["$","a","/research-programs",{"aria-current":"$undefined","href":"/research-programs","children":"Research"}],["$","a","/claims",{"aria-current":"$undefined","href":"/claims","children":"Claims"}],["$","a","/philosophy",{"aria-current":"$undefined","href":"/philosophy","children":"Philosophy"}],["$","a","/publications",{"aria-current":"$undefined","href":"/publications","children":"Publications"}]]}],["$","a",null,{"className":"community-link","href":"/philosophy#other-approaches","children":"Share an approach"}]]}],["$","div",null,{"id":"site-content","tabIndex":-1,"children":["$","main",null,{"className":"theorem-page","children":[["$","nav",null,{"className":"document-toolbar","aria-label":"Theorem resources","children":[["$","a",null,{"href":"/theorems","children":"← Theorem library"}],["$","span",null,{"children":"proposition"}],["$","span",null,{"children":["released"," publication"]}],["$","a",null,{"href":"/publications/fprd-program-textbook#siteauto:chapters-19-growth-access-tex:13","children":"Read in publication"}],["$","a",null,{"href":"/library/publications/fprd-program-textbook/fprd-program-textbook.pdf","children":"PDF"}]]}],["$","article",null,{"className":"theorem-entry-page","children":[["$","header",null,{"children":[["$","p",null,{"className":"eyebrow","children":"proposition"}],["$","h1",null,{"children":"Proposition 19.13"}],["$","p",null,{"className":"theorem-entry-title","children":["Minimax sandwich stopping rule"]}]]}],["$","article",null,{"className":"theorem-statement-document","dangerouslySetInnerHTML":{"__html":"$6"}}],"$L7"]}]]}]}],"$L8"]}]