feat: the self-bounding inequality [MDJKLV21, Lemma 13] with the corrected constant - #287

feat: the self-bounding inequality [MDJKLV21, Lemma 13] with the corrected constant#287

RemyDegenne wants to merge 2 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/self-bounding-inequality-essakine2026tight-reinforcementlearningRemyDegenne/LMLExplore:roadmap/self-bounding-inequality-essakine2026tight-reinforcementlearningCopy head branch name to clipboard