Gibt es einen Taschenrechner, der leistungsstärker ist und das in einer Formel berechnen kann?
Es gibt Taschenrechner, die unmittelbar Intervallwahrscheinlichkeiten binomialverteilter Zufallsgrößen berechnen können, etwa der TI nspire CX.
Der Casio fx-991DE X kann das offenbar nicht, obwohl Casio ihm diese Fähigkeit zumindest bei der Normalverteilung mitgegeben hat. Verwende also die Normalverteilung als Näherung, oder benutze die Umformung
$$P(a\le X \le b) = P(X\le b) - P(X\le a-1).$$