Kumulierte Binominalverteilung mit dem CAS berechnen