I found a more detailed explanation of that proof at https://www.youtube.com/watch?v=4ApWBYBsc9k https://www.youtube.com/watch?v=4ApWBYBsc9k It also wasn't imm

I found a more detailed explanation of that proof at https://www.youtube.com/watch?v=4ApWBYBsc9k https://www.youtube.com/watch?v=4ApWBYBsc9k It also wasn't immediately clear to me that this _is_ a valid sample space, the explanation in https://old.reddit.com/r/math/comments/18szn6y/anyone_use_proof_wiki/kfciwa8/ https://old.reddit.com/r/math/comments/18szn6y/anyone_use_pr... provides a more formal but still readable construction I especially like the "finite" variant/version of the proof which reframes this as a counting/combinatorial proof instead of a probability-based one.