In general, the foregoing proposition is useful when the event of interest can be expressed as “at least …,” since then the complement “less than …” may be easier to work with (in some problems, “more than …” is easier to deal with than “at most …”). When you are having difficulty calculating directly, think of determining .
Property
For any event .
\begin{proof}
This is because since .
\end{proof}