@Mathecoach:
Schöne Aufgabe :-)
Ich würde wohl mit der Gegenwahrscheinlichkeit rechnen, denn bei einem Erwartungswert von 5 * 3,5 =
17,5 muss die gesuchte Wahrscheinlichkeit natürlich über 50% liegen.
Habe mal ein wenig Google bemüht, aber dort auch nur ein paar Näherungen gefunden.
Und die Wahrscheinlichkeit sämtlicher Kombinationen mit Augensumme 5, 6, 7 ... ,15 zu berechnen und aufzuaddieren dürfte ja wohl auch kaum ökonomisch sein.
Mal sehen, ob jemand etwas Elegantes und Einfaches findet ...