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

lmlexplore-automation[bot] merged 2 commits 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