[math-fun] How to Compute This Probability?