This is LaTeX code:
[latex]
\displaystyle \Leftrightarrow P(A_1) +...+ P(A_n) + P(\bigcup_{i=1}^{n}A_i^c) \le n
[/latex]