We correct the double spend race analysis given in Nakamoto's foun-dational Bitcoin article and give a closed-form formula for the probability of success of a double spend attack using the Regularized Incomplete Beta Function. We give the first proof of the exponential decay on the number of confirmations and find an asymptotic formula. Larger number of confirmations are necessary compared to those given by Nakamoto.