Coin flip probability formula