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