Probability coin toss formula