Roll two fair dice. Return P(at least one six∣sum≥s)P(\text{at least one six} \mid \text{sum} \geq s)P(at least one six∣sum≥s).
Enumerate the 36 equally likely ordered outcomes, keep the ones meeting the condition, and count what fraction of those contain a six.
Input
10
Output
0.8333333333333334
This one's part of Premium. Unlock the full Probability track plus every other premium problem on the site.
solve(...)