You, your parents, your sister, go to visit grandma for her birthday. Grandma made a cake for the party. If she puts 20 raisins in the cake at random in the cake, and she divides the cake into 5 equal pieces, what's the probability that you get at least as many raisins as your sister?
Let $X_1$ be the number of raisins in your piece and $X_2$ the number of raisins in her piece.
$X_i \sim Bin(n=20, \theta=1/5)$
$X_1,X_2$ are identically distributed but not independent.
Find $P(X_1 \geq X_2)$.
$P(X_1 \geq X_2)=P(X_1 - X_2 \geq 0)$.
I don't know how to generate the cdf of $X_1-X_2$ and use the complement rule.
I know that the sum of two binomial variables is binomial but I don't know what distribution one binomial minus another is.
From the various answers at the linked question, it looks as if $$P(|X-Y|=0)={2n \choose n} \frac{1}{2^{2n}}$$ while for positive $z$ $$P(|X-Y|=z)={2n \choose n+z} \frac{1}{2^{2n-1}}$$
That isn't useful as I think I'm not looking for $|X-Y|$ but rather $X-Y$.