AM-GM: 2a1+a2+...+an≥na1a2...an. Equality holds if and only if allai are equal.
Cauchy-Schwarz Inequality: (a12+a22+...+an2)(b12+b22+...+bn2)≥(a1b1+a2b2+...+anbn)2. Equality holds if and only if either ai=0 for all i, or there exists a constant t such that bi=tai for all i.
Rearrangement Inequality: If we have the sequences x1,x2,...xn and y1,y2,...,yn, where x1≤x2≤...≤xn and y1≤y2≤...≤yn, the largest possible "grouping" of these elements is x1y1+x2y2+...+xnyn, and the smallest possible "grouping" is x1yn+x2yn−1+...+xny1.