WDS: Your definition is a legitimate one, but nonconstructive, in the sense that, as you already acknowledge, a coin can never be certified to be fair. That's an unhelpful definition to a manufacturer of fair coins. "Gene Salamin's remark about using another (H,T) is not correct, or at least highly inefficient, because previous experiment was subset of new experiment, and his formulas ignore that." I don't understand. If you have h heads and t tails, the posterior is known, and is independent of the sequence of heads and tails. This assumes a "fair" coin tossing procedure, and a particular prior. Yes, one can argue that the choice of prior is a personal opinion, but if h+t >> 1, the data overwhelms the prior. A Bayesian would say that a coin is (e1,e2,e3) certified if, from the posterior, we have (where x is the probability of heads) Prob(0.5 - e1 < x < 0.5 + e2) > 1 - e3. The manufacturer can then test and certify to this standard. You want smaller e's? You pay more. -- Gene From: Warren D Smith <warren.wds@gmail.com> To: math-fun@mailman.xmission.com Sent: Friday, March 4, 2016 5:17 PM Subject: [math-fun] how to test whether a coin is fair The definition of a "fair coin" is exactly 1/2 probability of heads and of tails. No "opinion" is involved. I am allowing you to assume all coin tosses are truly independent. Clearly, an unfair coin, no matter how tiny its unfairness, could be detected with confidence 1-K, for given K as small as one would like, after a large enough number of tosses. A fair coin, however, could never be proven fair, and then the testing procedure will simply keep going (or, with probability<=K, terminate and wrongly report coin is unfair -- that is what "confidence" means). Gene Salamin's remark about using another (H,T) is not correct, or at least highly inefficient, because previous experiment was subset of new experiment, and his formulas ignore that. So the question is a simple one: how should we best test the fairness of a coin? (With some specified confidence?) But it is not so easy to answer. In fact so far no math-funner besides me even seems to have comprehended the question... But I believe there probably is a unique answer, i.e. a uniquely optimal statistical test, and have sketched how to characterize that answer as a certain constrained variational problem. This characterization is unsatisfying as matters presently stand.