feat: the logarithmic sum bound [MDJKLV21, Lemma 9] with the constant 3 - #293

feat: the logarithmic sum bound [MDJKLV21, Lemma 9] with the constant 3#293

RemyDegenne wants to merge 1 commit into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/sum-div-max-one-log-essakine2026tight-reinforcementlearningRemyDegenne/LMLExplore:roadmap/sum-div-max-one-log-essakine2026tight-reinforcementlearningCopy head branch name to clipboard