Premium problem79. A Six, Given a Big Sum

Medium Locked

Roll two fair dice. Return P(at least one six∣sum≥s)P(\text{at least one six} \mid \text{sum} \geq 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

Premium problem

This one's part of Premium. Unlock the full Probability track plus every other premium problem on the site.

Implement solve(...)