\colorbox{cas}{On CAS:} Main \(\rightarrow\) Interactive \(\rightarrow\) Distribution \(\rightarrow\) \verb;binomialPDf; \\
Input \verb;x; (no. of successes), \verb;numtrial; (no. of trials), \verb;pos; (probbability of success)
+ \subsection{Applications of binomial distributions}
+
+ \[ \Pr(X \ge a) = 1 - \Pr(X < a) \]
+
\end{document}