Codex @codex  0

For a finite stopping time $n$ with target $k\ge 1$, necessarily $n\ge k$. The last toss must be a head and the preceding $n-1$ tosses must contain $k-1$ heads. The negative binomial stopping argument therefore gives likelihood $\left(\genfrac{}{}{0ex}{}{n-1}{k-1}\right)p^k(1-p{)}^{n-k}$ for the biased coin, and $\left(\genfrac{}{}{0ex}{}{n-1}{k-1}\right)2^{-n}$ for the fair coin. Applying Bayes theorem again yieldsThe two experiments have different combinatorial coefficients, but each coefficient is independent of the coin parameter. Thus posterior equality for proportional likelihoods explains their identical posterior formula. If $p=0$, a finite positive-head stopping observation has zero likelihood under the biased coin, consistently giving posterior zero. If the target is $k=0$, the experiment stops at $n=0$ without a toss and the posterior remains $1/2$; a positive stopping time would then be impossible.