Proof Techniques

• Mathematical Induction
• By Contradiction
• By Contrapositive

Algebraic

• You can split summations (even infinite ones)
• ${\prod }_i{e}^{X_i}=e^{{\sum }_i{X}_i}$
• Equivalently, $\ln \left({\prod }_i{X}_i\right)={\sum }_i(\ln X_i)$ Pushing log thru product makes it a sum
• Telescoping sums and products
• Break up summations ${\sum }_{\forall i}={\sum }_{i\le k}+{\sum }_{i>k}$
• Summation of Squared ${\sum }_{{\forall }_i}(a_i+b_i{)}^2=\sum a^2+\sum b^2+\underset{{\sum }_{i<j}2a_i{b}_i}{\underbrace{\sum _{i\ne j}{a}_i{b}_i}}$

Probability

• Tower property $\mathbb{E}(X)=\mathbb{E}(\mathbb{E}(X|\mathcal{F}))$
• Linearity of expectation. You can switch expectation and summation
• Definition of expectation is an integral (or summation)

Calculus

• ${\int }_x{\int }_{y}dydx={\int }_y{\int }_{x}dxdy$ switch integrals

Inequalities

• Sum greater than max
• Max greater than averages
• Average greater than min. Combined:

$\ln (1-x)\le -x$ always.