Nein. Nur weil ein Taschenrechner etwas löst heißt nicht das es algebraisch lösbar ist mit einer Formel.
Du kannst das hier über eine Wertetabelle lösen. Allerdings Durfte es dir überhaupt schwerfallen mit dem Taschenrechner hier den Binomialkoeffizienten auszurechnen.
Mein CAS macht das noch, aber ein normaler Taschenrechner nicht mehr.
Die Näherung die man hier meist benutzt ist eben die Näherung durch die Normalverteilung. Aber auch die ist algebraisch nicht lösbar. Dort rechnet der Taschenrechner mit einer internen Näherungsformel. Von hand benutzt man ein Tabellenwerk.