Comment on 2³² will get interesting...
xxd@discuss.tchncs.de 5 weeks agoThat’s exactly right, you got it!
The intermediary probabilities make it even worse, yes! But the overall probability is already ridiculously tiny, so I don’t think it changes the conclusion by a lot.