Coin toss probability formula