{'fraction_non_alphanumeric': 0.012311901504787962, 'fraction_numerical': 0.005471956224350205, 'mean_word_length': 5.049586776859504, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Proof of a Key Inequality for Lattice Event Probabilities with Equal Odds

Abstract Levin and Leu (2021) introduced some key inequalities that underlie the lower bound formula for the probability of lattice events when using adaptive members of the Levin-Robbins-Leu family of sequential subset selection procedures for binary outcomes. Here we provide a rigorous proof of the key inequality for each adaptive procedure in the special case of equal odds parameters. We also provide some further insight into why the key inequality holds for arbitrary odds parameters and we present a complete proof in that case for a simple yet non-trivial prototype example. Two errata in the abovementioned publication are also corrected herein.