Intereting Posts

Indefinite integral: $\int \frac{\mathrm dx}{\sqrt x(1+\sqrtx)}$
An open interval is an open set?
Octonionic Hopf fibration and $\mathbb HP^3$
Number of solns of $x^6+x=a$ in $\mathbb{F}_{2^m}$, where $m\geq 3$ is odd is same as number of solns of $x^2+ax+1=0$
First kind Chebyshev polynomial to Monomials
Prove that $\sum_{n=0}^\infty \frac{(-1)^n}{3n+1} = \frac{\pi}{3\sqrt{3}}+\frac{\log 2}{3}$
Image of a union of collection of sets as union of the images
Why $x^{p^n}-x+1$ is irreducible in ${\mathbb{F}_p}$ only when $n=1$ or $n=p=2$
How can Busy beaver($10 \uparrow \uparrow 10$) have no provable upper bound?
Formal deductions on Hilbert system
Efficient Method to find funsum$(n) \pmod m$ where funsum$(n)= 0^0 + 1^1 + 2^2 + … n^n$
Resolvent of the Quintic…Functions of the roots
How to find the roots of $x^4 +1$
Scheme: Countable union of affine lines
Suppose $F$ is a finite field of characteristic $p$. Prove $\exists u \in F$ such that $F = \mathbb{F}_{p}(u)$.

I am trying to prove Boole’s inequality

$$P\left(\ \bigcup_{i=1}^\infty A_i\right) \leq \sum_{i=1}^\infty P(A_i).$$

I can show it of any finite $n$ using induction. What to do for $\infty$ ?

- It's a complicated case of simple dice roll.
- Showing that ${\rm E}=\sum_{k=0}^\infty P(X>k)$ for a discrete random variable
- Sum of Cauchy distributed random variables
- Probability of dice sum just greater than 100
- Random variable exponentially distributed?
- Ulam spiral: Is there an “unusual amount of clumping” in prime-rich quadratic polynomials?

- Birthday Problem for 3 people
- Intuitive explanation of the tower property of conditional expectation
- Expected number of times Random Walk crosses 0 line.
- Variance of the number of empty cells
- Weighted War - Game of Mind and Probability
- Average Degree of a Random Geometric Graph
- Probability each of six different numbers will appear at least once?
- What are some open research problems in Stochastic Processes?
- Coin toss - probability of a tail known that one is heads
- Coupon Collector Problem with Batched Selections

You can use that $\bigcup_{i=1}^n A_i \uparrow \bigcup_{i=1}^\infty A_i$ for $n\to\infty$ along with the continuity of $P$.

If you want to do it without the use of continuity, then use the construction

$$

B_1=A_1\quad\text{and}\quad B_n=A_n\setminus \bigcup_{k=1}^{n-1}A_k,\quad n\geq 2

$$

to show that

$$

P \left(\bigcup_{n=1}^\infty A_n\right)=P\left(\bigcup_{n=1}^\infty B_n\right)=\sum_{n=1}^\infty P(B_n)\leq \sum_{n=1}^\infty P(A_n)

$$

Let $B_1 = A_1$, and inductively define $B_n = A_n \setminus \bigcup_{j=1}^{n-1} B_{n-1}$. Then the $B_n$ are disjoint and

$$\bigcup_{n=1}^\infty B_n = \bigcup_{n=1}^\infty A_n.$$

By countable additivity we have

$$P(\bigcup_{n=1}^\infty B_n) = \sum_{n=1}^\infty P(B_n).$$

By monotonicity $P(B_n) \leq P(A_n)$. Combining these last three relations we get the result.

You can write out the infinite union as

$$ \bigcup_{n=1}^\infty A_n = A_1 \cup (A_1 \cap A_2^c) \cup (A_3 \cap A_1^c \cap A_2^c)\cup \ldots $$

Each of these sets is disjoint, so you can use $\sigma$-additivity.

Now just use the fact that the $i$th term is a subset of $A_i$, and so the probability of the $i$th term is less than or equal to the probability of $A_i$.

Disjointness is your best friend in proving this sort of thing.

- How prove this there exsit set $B$ such $card(B)>\dfrac{n}{3}$,
- If $\psi h$ is in $L^2$ for all $h\in L^2$, must $\psi$ be essentially bounded?
- Difference in terminology between Let and Assume?
- Testing whether a hypersurface is singular
- $(A\cup B)\cap C = A\cup(B\cap C)$ if and only if $A\subset C$
- Order of Cyclic Subgroups
- A sum of noetherian modules is a noetherian module
- Homography between ellipses
- What is Modern Mathematics? Is this an exact concept with a clear meaning?
- Mean Value Theorem: $\frac{2}{\pi}<\frac{\sin x}{x}<1$
- free subgroups of $SL(2,\mathbb{R})$
- Does the series $\sum_{n=1}^{\infty}\frac{\sin(\cos(n))}{n}$ converge?
- Monic and epic implies isomorphism in an abelian category?
- Does $X$ have countable network if it has countable extent?
- Given complex polynomial with roots within an annulus, there exists its “square root” which is analytic outside this annulus