The proofs revolve around our novel âˆ†-dimensional prismatic polytope constructions, where each vertex corresponds to a state.
(Sketch) The algorithm gives up reward on at most âˆ† steps every L + 1 steps, however these steps are cleverly selected.