exactly! It's a version of https://en.wikipedia.org/wiki/Inclusion%E2%80%93exclusion_pr...
If I plug in 7, I still get a probability of above 50%, which seems to conflict with the 8.333 answer calculated upstream.
Wouldn't a positive EV imply that a 50% probability is the break-even?