feat: the Bernoulli maximal inequality, counts versus pseudo-counts [DLB17, Lemma F.4] - #292

feat: the Bernoulli maximal inequality, counts versus pseudo-counts [DLB17, Lemma F.4]#292

RemyDegenne wants to merge 1 commit into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/bernoulli-maximal-inequality-essakine2026tight-reinforcementlearningRemyDegenne/LMLExplore:roadmap/bernoulli-maximal-inequality-essakine2026tight-reinforcementlearningCopy head branch name to clipboard