Die Zufallsgröße X gibt die Anzahl der gewürfelten Sechser an. X ist binomialverteilt mit n=80 und p=$\frac{1}{6}$.

$P_{\frac{1}{6}}^{80}(12\le X\le 17)$ =

...

$P_{\frac{1}{6}}^{80}(X\le 17)$ - $P_{\frac{1}{6}}^{80}(X\le 11)$ ≈ 0.8917 - 0.2995 ≈ 0.5922
(TI-Befehl: binomcdf(80,$\frac{1}{6}$,17) - binomcdf(80,$\frac{1}{6}$,11))