[math-fun] Propp's coin-tossing

Estimating X' seem straightforward. Estimating p is an 'inverse problem' but {n, X} ==> Pr(p = p') ... and for each p', we expect p'n' heads from n' tosses of the coin. I suspect for large n, this is not far from X.n'/n. Guy