\relax \providecommand\hyper@newdestlabel[2]{} \providecommand\HyField@AuxAddToFields[1]{} \providecommand\HyField@AuxAddToCoFields[2]{} \citation{darling1967iterated} \citation{agrawal2025stopping} \newlabel{sec_introduction}{{1}{1}{}{section.1}{}} \newlabel{sec_introduction@cref}{{[section][1][]1}{[1][1][]1}{}{}{}} \citation{gut2009stopped,asmussen2003applied} \citation{robbins1974expected} \citation{anscombe1952large} \citation{gut2009stopped} \citation{gut2009stopped} \citation{wald1992sequential,wald1948optimum} \citation{darling1967iterated} \newlabel{sec:related_work}{{2}{2}{}{section.2}{}} \newlabel{sec:related_work@cref}{{[section][2][]2}{[1][2][]2}{}{}{}} \citation{siegmund2013sequential,chernoff1992sequential} \citation{lai1985asymptotically,burnetas1996optimal} \citation{honda2010asymptotically,honda2015non,agrawal2020optimal,pmlr-v134-agrawal21a,agrawal2021optimal,jourdan2022top} \citation{deep2024asymptotically,deep2025asymptotic} \citation{agrawal2025stopping} \citation{gut2009stopped,asmussen2003applied} \citation{mukhopadhyay2020asymptotic} \citation{honda2010asymptotically,honda2015non} \newlabel{sec:setup}{{3}{3}{}{section.3}{}} \newlabel{sec:setup@cref}{{[section][3][]3}{[1][3][]3}{}{}{}} \newlabel{eq:setup-hypotheses}{{1}{3}{}{equation.1}{}} \newlabel{eq:setup-hypotheses@cref}{{[equation][1][]1}{[1][3][]3}{}{}{}} \newlabel{def:delta-correct}{{3.1}{3}{$\alpha $-correct power-one sequential test}{theorem.3.1}{}} \newlabel{def:delta-correct@cref}{{[theorem][1][3]3.1}{[1][3][]3}{}{}{}} \newlabel{sec:bounded_model}{{3.2}{3}{}{subsection.3.2}{}} \newlabel{sec:bounded_model@cref}{{[subsection][2][3]3.2}{[1][3][]3}{}{}{}} \citation{honda2010asymptotically} \citation{agrawal2021optimal} \citation{agrawal2020optimal,jourdan2022top} \citation{agrawal2025stopping} \citation{honda2010asymptotically} \newlabel{eq:kl_inf}{{2}{4}{}{equation.2}{}} \newlabel{eq:kl_inf@cref}{{[equation][2][]2}{[1][4][]4}{}{}{}} \newlabel{sec:moderate_dev_bd}{{3.3}{4}{}{subsection.3.3}{}} \newlabel{sec:moderate_dev_bd@cref}{{[subsection][3][3]3.3}{[1][4][]4}{}{}{}} \newlabel{eq:stopping_rule_bd}{{3}{4}{}{equation.3}{}} \newlabel{eq:stopping_rule_bd@cref}{{[equation][3][]3}{[1][4][]4}{}{}{}} \newlabel{sec:results}{{4}{4}{}{section.4}{}} \newlabel{sec:results@cref}{{[section][4][]4}{[1][4][]4}{}{}{}} \newlabel{ass_1}{{4.1}{4}{}{theorem.4.1}{}} \newlabel{ass_1@cref}{{[theorem][1][4]4.1}{[1][4][]4}{}{}{}} \newlabel{lem:kl_inf_clt}{{4.2}{4}{}{theorem.4.2}{}} \newlabel{lem:kl_inf_clt@cref}{{[theorem][2][4]4.2}{[1][4][]4}{}{}{}} \citation{gut2009stopped} \newlabel{lemma_almost_sure}{{4.3}{5}{}{theorem.4.3}{}} \newlabel{lemma_almost_sure@cref}{{[theorem][3][4]4.3}{[1][5][]5}{}{}{}} \newlabel{thm:clt_bd}{{4.4}{5}{}{theorem.4.4}{}} \newlabel{thm:clt_bd@cref}{{[theorem][4][4]4.4}{[1][5][]5}{}{}{}} \newlabel{sec:proof_sketch}{{4.1}{5}{}{subsection.4.1}{}} \newlabel{sec:proof_sketch@cref}{{[subsection][1][4]4.1}{[1][5][]5}{}{}{}} \newlabel{eq_t1}{{5}{6}{}{equation.5}{}} \newlabel{eq_t1@cref}{{[equation][5][]5}{[1][6][]6}{}{}{}} \newlabel{eq_t2}{{6}{6}{}{equation.6}{}} \newlabel{eq_t2@cref}{{[equation][6][]6}{[1][6][]6}{}{}{}} \newlabel{sec:application}{{4.2}{6}{}{subsection.4.2}{}} \newlabel{sec:application@cref}{{[subsection][2][4]4.2}{[1][6][]6}{}{}{}} \newlabel{lem:ci-tau}{{4.5}{6}{}{theorem.4.5}{}} \newlabel{lem:ci-tau@cref}{{[theorem][5][4]4.5}{[1][6][]6}{}{}{}} \newlabel{sec:numerics}{{5}{7}{}{section.5}{}} \newlabel{sec:numerics@cref}{{[section][5][]5}{[1][7][]7}{}{}{}} \providecommand*\caption@xref[2]{\@setref\relax\@undefined{#1}} \newlabel{fig_beta_clt}{{1}{7}{Histogram of the statistic $\sqrt {n}(\mathrm {KL}_{\inf }(\hat q_n,m_o)-\mathrm {KL}_{\inf }(q,m_o))$ when $q\sim \mathrm {Beta}(3,2)$. The orange curve is the density of $\mathcal {N}(0,\sigma ^2(q,m_o))$}{figure.caption.1}{}} \newlabel{fig_beta_clt@cref}{{[figure][1][]1}{[1][7][]7}{}{}{}} \newlabel{fig:ber_clt}{{2}{7}{Histogram of the statistic $\sqrt {n}(\mathrm {KL}_{\inf }(\hat q_n,m_o)-\mathrm {KL}_{\inf }(q,m_o))$ when $q\sim \mathrm {Bernoulli}(0.6)$. The orange curve is the density of $\mathcal {N}(0,\sigma ^2(q,m_o))$}{figure.caption.2}{}} \newlabel{fig:ber_clt@cref}{{[figure][2][]2}{[1][7][]7}{}{}{}} \newlabel{eq:beta_log}{{7}{7}{}{equation.7}{}} \newlabel{eq:beta_log@cref}{{[equation][7][]7}{[1][7][]7}{}{}{}} \newlabel{eq:beta_const}{{8}{7}{}{equation.8}{}} \newlabel{eq:beta_const@cref}{{[equation][8][]8}{[1][7][]7}{}{}{}} \citation{pmlr-v134-agrawal21a} \citation{panda2026regret,fan2025fragility} \newlabel{fig_tau_beta}{{3}{8}{Histogram of the statistic $\sqrt {\log (1/\alpha )} ({\tau _{\alpha }}/{\log (1/\alpha )}-{1}/{\mathrm {KL}_{\inf }(q,m_o)})$ with $\alpha = 10^{-4}$ on left and $\alpha = 10^{-8}$ on right. The orange curve is the density of $\mathcal {N}\!\big (0,\ \sigma ^2_{\rm bd}(q,m_o)\big )$. The choice of $\beta (n,\alpha )$ is given in \eqref {eq:beta_log}}{figure.caption.3}{}} \newlabel{fig_tau_beta@cref}{{[figure][3][]3}{[1][8][]8}{}{}{}} \newlabel{fig_tau_relaxed_beta}{{4}{8}{Histogram of the statistic $\sqrt {\log (1/\alpha )} ({\tau _{\alpha }}/{\log (1/\alpha )}-{1}/{\mathrm {KL}_{\inf }(q,m_o)})$ with $\alpha = 10^{-4}$ on left and $\alpha = 10^{-8}$ on right. The orange curve is the density of $\mathcal {N}\!\big (0,\ \sigma ^2_{\rm bd}(q,m_o)\big )$. The choice of $\beta (n,\alpha )$ is given in \eqref {eq:beta_const}}{figure.caption.4}{}} \newlabel{fig_tau_relaxed_beta@cref}{{[figure][4][]4}{[1][8][]8}{}{}{}} \newlabel{fig_real_data_set}{{5}{8}{Histogram of the statistic $\sqrt {\log (1/\alpha )} (\tau _{\alpha }/\log (1/\alpha )-1/\mathrm {KL}_{\inf }(\hat {q},m_o))$. The orange curve is the density of $\mathcal {N}\!\big (0,\ \hat {\sigma }^2_{\rm bd}(q,m_o)\big )$. The choice of $\beta (n,\alpha )$ is given in \eqref {eq:beta_const}}{figure.caption.5}{}} \newlabel{fig_real_data_set@cref}{{[figure][5][]5}{[1][8][]8}{}{}{}} \newlabel{sec:discussion}{{6}{8}{}{section.6}{}} \newlabel{sec:discussion@cref}{{[section][6][]6}{[1][8][]8}{}{}{}} \citation{agrawal2025stopping} \bibdata{example_paper} \bibcite{agrawal2022bandits}{{1}{2023}{{Agrawal}}{{}}} \bibcite{agrawal2025stopping}{{2}{2025}{{Agrawal \& Ramdas}}{{Agrawal and Ramdas}}} \bibcite{agrawal2020optimal}{{3}{2020}{{Agrawal et~al.}}{{Agrawal, Juneja, and Glynn}}} \bibcite{pmlr-v134-agrawal21a}{{4}{2021{a}}{{Agrawal et~al.}}{{Agrawal, Juneja, and Koolen}}} \bibcite{agrawal2021optimal}{{5}{2021{b}}{{Agrawal et~al.}}{{Agrawal, Koolen, and Juneja}}} \bibcite{anscombe1952large}{{6}{1952}{{Anscombe}}{{}}} \bibcite{asmussen2003applied}{{7}{2003}{{Asmussen}}{{}}} \bibcite{billingsley2017probability}{{8}{2017}{{Billingsley}}{{}}} \bibcite{burnetas1996optimal}{{9}{1996}{{Burnetas \& Katehakis}}{{Burnetas and Katehakis}}} \bibcite{chernoff1992sequential}{{10}{1959}{{Chernoff}}{{}}} \bibcite{darling1967iterated}{{11}{1967}{{Darling \& Robbins}}{{Darling and Robbins}}} \bibcite{deep2024asymptotically}{{12}{2024}{{Deep et~al.}}{{Deep, Bassamboo, and Juneja}}} \bibcite{deep2025asymptotic}{{13}{2025}{{Deep et~al.}}{{Deep, Bassamboo, and Juneja}}} \bibcite{fan2025fragility}{{14}{2025}{{Fan \& Glynn}}{{Fan and Glynn}}} \bibcite{gut2009stopped}{{15}{2009}{{Gut}}{{}}} \bibcite{honda2010asymptotically}{{16}{2010}{{Honda \& Takemura}}{{Honda and Takemura}}} \bibcite{honda2015non}{{17}{2015}{{Honda \& Takemura}}{{Honda and Takemura}}} \bibcite{jourdan2022top}{{18}{2022}{{Jourdan et~al.}}{{Jourdan, Degenne, Baudry, de~Heide, and Kaufmann}}} \bibcite{lai1985asymptotically}{{19}{1985}{{Lai \& Robbins}}{{Lai and Robbins}}} \bibcite{mukhopadhyay2020asymptotic}{{20}{2020}{{Mukhopadhyay}}{{}}} \bibcite{panda2026regret}{{21}{2026}{{Panda \& Agrawal}}{{Panda and Agrawal}}} \bibcite{robbins1974expected}{{22}{1974}{{Robbins \& Siegmund}}{{Robbins and Siegmund}}} \bibcite{siegmund2013sequential}{{23}{2013}{{Siegmund}}{{}}} \bibcite{wald1992sequential}{{24}{1992}{{Wald}}{{}}} \bibcite{wald1948optimum}{{25}{1948}{{Wald \& Wolfowitz}}{{Wald and Wolfowitz}}} \bibcite{wang2026almost}{{26}{2026}{{Wang et~al.}}{{Wang, Agrawal, and Ramdas}}} \bibstyle{icml2026} \citation{jourdan2022top} \newlabel{appen_1}{{A}{11}{Acknowledgements}{appendix.A}{}} \newlabel{appen_1@cref}{{[section][1][]A}{[1][11][]11}{}{}{}} \newlabel{app:proof_lem:kl_inf_clt}{{A.1}{11}{Acknowledgements}{subsection.A.1}{}} \newlabel{app:proof_lem:kl_inf_clt@cref}{{[subsection][1][1]A.1}{[1][11][]11}{}{}{}} \newlabel{rem:case3rest}{{A.2}{12}{}{theorem.A.2}{}} \newlabel{rem:case3rest@cref}{{[theorem][2][1]A.2}{[1][12][]12}{}{}{}} \citation{honda2010asymptotically} \newlabel{sup_eq_vik_1}{{9}{13}{Acknowledgements}{equation.9}{}} \newlabel{sup_eq_vik_1@cref}{{[equation][9][]9}{[1][13][]13}{}{}{}} \newlabel{eq:klinf_bd}{{10}{13}{Acknowledgements}{equation.10}{}} \newlabel{eq:klinf_bd@cref}{{[equation][10][]10}{[1][13][]13}{}{}{}} \newlabel{eq:nklinf_bd}{{11}{13}{Acknowledgements}{equation.11}{}} \newlabel{eq:nklinf_bd@cref}{{[equation][11][]11}{[1][13][]13}{}{}{}} \newlabel{eq:beta_dom}{{12}{13}{Acknowledgements}{equation.12}{}} \newlabel{eq:beta_dom@cref}{{[equation][12][]12}{[1][13][]13}{}{}{}} \newlabel{sup_eq_vik_2}{{13}{14}{Acknowledgements}{equation.13}{}} \newlabel{sup_eq_vik_2@cref}{{[equation][13][]13}{[1][14][]14}{}{}{}} \newlabel{extra}{{14}{14}{Acknowledgements}{equation.14}{}} \newlabel{extra@cref}{{[equation][14][]14}{[1][14][]14}{}{}{}} \newlabel{eq:tau_upper_intermediate_correct}{{15}{14}{Acknowledgements}{equation.15}{}} \newlabel{eq:tau_upper_intermediate_correct@cref}{{[equation][15][]15}{[1][14][]14}{}{}{}} \newlabel{eq:tau_basic_ineq_final}{{16}{15}{Acknowledgements}{equation.16}{}} \newlabel{eq:tau_basic_ineq_final@cref}{{[equation][16][]16}{[1][14][]15}{}{}{}} \newlabel{eq:tau_sandwich_final}{{17}{15}{Acknowledgements}{equation.17}{}} \newlabel{eq:tau_sandwich_final@cref}{{[equation][17][]17}{[1][15][]15}{}{}{}} \newlabel{eq:klinf_clt_det_final}{{18}{15}{Acknowledgements}{equation.18}{}} \newlabel{eq:klinf_clt_det_final@cref}{{[equation][18][]18}{[1][15][]15}{}{}{}} \newlabel{eq:klinf_clt_tau_final}{{19}{15}{Acknowledgements}{equation.19}{}} \newlabel{eq:klinf_clt_tau_final@cref}{{[equation][19][]19}{[1][15][]15}{}{}{}} \newlabel{eq:klinf_clt_tau_final_2}{{20}{15}{Acknowledgements}{equation.20}{}} \newlabel{eq:klinf_clt_tau_final_2@cref}{{[equation][20][]20}{[1][15][]15}{}{}{}} \newlabel{eq:reciprocal_scaled_final}{{21}{15}{Acknowledgements}{equation.21}{}} \newlabel{eq:reciprocal_scaled_final@cref}{{[equation][21][]21}{[1][15][]15}{}{}{}} \citation{agrawal2022bandits} \newlabel{eq:var_id_LnL}{{22}{16}{Acknowledgements}{equation.22}{}} \newlabel{eq:var_id_LnL@cref}{{[equation][22][]22}{[1][16][]16}{}{}{}} \newlabel{sup_eq_vik_3}{{23}{16}{Acknowledgements}{equation.23}{}} \newlabel{sup_eq_vik_3@cref}{{[equation][23][]23}{[1][16][]16}{}{}{}} \newlabel{lem:finiteMGF}{{A.3}{16}{}{theorem.A.3}{}} \newlabel{lem:finiteMGF@cref}{{[theorem][3][1]A.3}{[1][16][]16}{}{}{}} \newlabel{lem:uniform_bounds_l_g_gprime}{{A.4}{16}{}{theorem.A.4}{}} \newlabel{lem:uniform_bounds_l_g_gprime@cref}{{[theorem][4][1]A.4}{[1][16][]16}{}{}{}} \newlabel{lem:mom_conv_LnL}{{A.5}{17}{}{theorem.A.5}{}} \newlabel{lem:mom_conv_LnL@cref}{{[theorem][5][1]A.5}{[1][17][]17}{}{}{}} \newlabel{eq:mom_goal_LnL}{{24}{17}{}{equation.24}{}} \newlabel{eq:mom_goal_LnL@cref}{{[equation][24][]24}{[1][17][]17}{}{}{}} \newlabel{sup_lemma_case_2_combined}{{A.6}{19}{}{theorem.A.6}{}} \newlabel{sup_lemma_case_2_combined@cref}{{[theorem][6][1]A.6}{[1][19][]19}{}{}{}} \newlabel{sup_lemma_case_3_combined}{{A.6}{19}{}{theorem.A.6}{}} \newlabel{sup_lemma_case_3_combined@cref}{{[theorem][6][1]A.6}{[1][19][]19}{}{}{}} \newlabel{ulln1}{{{ULLN-1}}{20}{Acknowledgements}{AMS.9}{}} \newlabel{ulln1@cref}{{[equation][2147483647][]{ULLN-1}}{[1][20][]20}{}{}{}} \newlabel{eq:one-step}{{25}{21}{Acknowledgements}{equation.25}{}} \newlabel{eq:one-step@cref}{{[equation][25][]25}{[1][20][]21}{}{}{}} \newlabel{eq:one-step_4}{{26}{21}{Acknowledgements}{equation.26}{}} \newlabel{eq:one-step_4@cref}{{[equation][26][]26}{[1][21][]21}{}{}{}} \newlabel{eq:one-step_3}{{27}{21}{Acknowledgements}{equation.27}{}} \newlabel{eq:one-step_3@cref}{{[equation][27][]27}{[1][21][]21}{}{}{}} \newlabel{eq:one-step_2}{{28}{21}{Acknowledgements}{equation.28}{}} \newlabel{eq:one-step_2@cref}{{[equation][28][]28}{[1][21][]21}{}{}{}} \newlabel{eq:suppp}{{29}{22}{Acknowledgements}{equation.29}{}} \newlabel{eq:suppp@cref}{{[equation][29][]29}{[1][22][]22}{}{}{}} \newlabel{eq:bdry-onesided-final-psi}{{30}{23}{Acknowledgements}{equation.30}{}} \newlabel{eq:bdry-onesided-final-psi@cref}{{[equation][30][]30}{[1][23][]23}{}{}{}} \newlabel{sup_lemma_A_n}{{A.7}{24}{}{theorem.A.7}{}} \newlabel{sup_lemma_A_n@cref}{{[theorem][7][1]A.7}{[1][24][]24}{}{}{}} \newlabel{eq:Term1Bound}{{31}{25}{Acknowledgements}{equation.31}{}} \newlabel{eq:Term1Bound@cref}{{[equation][31][]31}{[1][24][]25}{}{}{}} \newlabel{eq:TermABound}{{32}{25}{Acknowledgements}{equation.32}{}} \newlabel{eq:TermABound@cref}{{[equation][32][]32}{[1][25][]25}{}{}{}} \newlabel{eq:TermBBound}{{34}{26}{Acknowledgements}{equation.34}{}} \newlabel{eq:TermBBound@cref}{{[equation][34][]34}{[1][26][]26}{}{}{}} \newlabel{eq:Term2Bound}{{35}{26}{Acknowledgements}{equation.35}{}} \newlabel{eq:Term2Bound@cref}{{[equation][35][]35}{[1][26][]26}{}{}{}} \newlabel{lemm:anscombe}{{A.8}{26}{}{theorem.A.8}{}} \newlabel{lemm:anscombe@cref}{{[theorem][8][1]A.8}{[1][26][]26}{}{}{}} \newlabel{eq:absorb}{{36}{26}{Acknowledgements}{equation.36}{}} \newlabel{eq:absorb@cref}{{[equation][36][]36}{[1][26][]26}{}{}{}} \newlabel{eq:absorb2}{{37}{27}{Acknowledgements}{equation.37}{}} \newlabel{eq:absorb2@cref}{{[equation][37][]37}{[1][27][]27}{}{}{}} \newlabel{A}{{{A}}{27}{Acknowledgements}{AMS.11}{}} \newlabel{A@cref}{{[equation][2147483647][]{A}}{[1][27][]27}{}{}{}} \newlabel{B}{{{B}}{27}{Acknowledgements}{AMS.12}{}} \newlabel{B@cref}{{[equation][2147483647][]{B}}{[1][27][]27}{}{}{}} \newlabel{eq:3term}{{38}{27}{Acknowledgements}{equation.38}{}} \newlabel{eq:3term@cref}{{[equation][38][]38}{[1][27][]27}{}{}{}} \newlabel{eq:3term_max}{{39}{27}{Acknowledgements}{equation.39}{}} \newlabel{eq:3term_max@cref}{{[equation][39][]39}{[1][27][]27}{}{}{}} \citation{billingsley2017probability} \newlabel{eq:Vsplit}{{40}{28}{Acknowledgements}{equation.40}{}} \newlabel{eq:Vsplit@cref}{{[equation][40][]40}{[1][27][]28}{}{}{}} \newlabel{eq:Vinc}{{41}{28}{Acknowledgements}{equation.41}{}} \newlabel{eq:Vinc@cref}{{[equation][41][]41}{[1][28][]28}{}{}{}} \newlabel{eq:Vsn}{{42}{28}{Acknowledgements}{equation.42}{}} \newlabel{eq:Vsn@cref}{{[equation][42][]42}{[1][28][]28}{}{}{}} \newlabel{eq:Vbound_final}{{43}{28}{Acknowledgements}{equation.43}{}} \newlabel{eq:Vbound_final@cref}{{[equation][43][]43}{[1][28][]28}{}{}{}} \newlabel{eq:Ato0_goal}{{44}{29}{Acknowledgements}{equation.44}{}} \newlabel{eq:Ato0_goal@cref}{{[equation][44][]44}{[1][29][]29}{}{}{}} \newlabel{eq:case3_onesided}{{46}{30}{Acknowledgements}{equation.46}{}} \newlabel{eq:case3_onesided@cref}{{[equation][46][]46}{[1][30][]30}{}{}{}} \newlabel{eq:B_split_prob}{{47}{31}{Acknowledgements}{equation.47}{}} \newlabel{eq:B_split_prob@cref}{{[equation][47][]47}{[1][31][]31}{}{}{}} \newlabel{eq:B_S_bound}{{48}{31}{Acknowledgements}{equation.48}{}} \newlabel{eq:B_S_bound@cref}{{[equation][48][]48}{[1][31][]31}{}{}{}} \newlabel{eq:B_S_eta}{{49}{32}{Acknowledgements}{equation.49}{}} \newlabel{eq:B_S_eta@cref}{{[equation][49][]49}{[1][31][]32}{}{}{}} \newlabel{eq:B_U_eta}{{50}{32}{Acknowledgements}{equation.50}{}} \newlabel{eq:B_U_eta@cref}{{[equation][50][]50}{[1][32][]32}{}{}{}} \citation{wang2026almost} \newlabel{sec_ass}{{B}{33}{Acknowledgements}{appendix.B}{}} \newlabel{sec_ass@cref}{{[section][2][]B}{[1][32][]33}{}{}{}} \newlabel{appen_practical_beta}{{C}{33}{Acknowledgements}{appendix.C}{}} \newlabel{appen_practical_beta@cref}{{[section][3][]C}{[1][33][]33}{}{}{}} \gdef \@abspage@last{33}