Expand description
Sequential and always-valid inference.
sprt_bernoulli runs Wald’s sequential probability ratio test for a
Bernoulli proportion. The confidence sequences are time-uniform: at each
observation time t a pointwise concentration inequality is inverted at
level alpha_t = alpha * 6 / (pi^2 t^2). Since the schedule sums to one
over t = 1, 2, ..., a union bound makes the intervals simultaneously
valid with probability at least 1 - alpha. This discrete schedule follows
the time-uniform construction of Howard, Ramdas, McAuliffe, and Sekhon
(2021, Annals of Statistics 49(2), 1055-1080); the bound is deliberately
reported with the schedule it uses.