HDI+ROPE
PitG
DPitG
Line: share of heads so far, θ̂(N). Gray band: 95% HDI. Orange dashed: ROPE [0.45, 0.55]. Vertical lines: where each rule stops. Nmin = 30, Nmax = 1,500.