RE: [math-fun] How to Compute This Probability?