Actually calculate ProbAtLeast