Upon request, I have supplied proofs to some of the inequalities in the Inequalities thread in the Formulas section. I have selected those inequalities which seem less known, so feel free to request some other proofs.

Bernoulli's Inequality

For x > -1, x ≠ 0, and integers n > 1,

Proof

Use induction. The base case is n = 2, which gives (1 + x)² > 1 + 2x, which is certainly true upon expanding the left hand side. Now assume the inequality holds for some n ≥ 2. Then since x > -1, 1 + x > 0 and we can write

which again is certainly true upon expanding the left hand side. Thus the proof is complete.

Jensen's Inequality

For 0 < p ≤ q and positive a_k,

Proof

Restate the inequality as follows:

Let {x_i}_{i = 1}ⁿ be a fixed set of n positive numbers and p > 0. The function f(p) defined on (0, ∞) by

is positive decreasing function, and therefore if 0 < p₁ ≤ p₂, we have the inequality

Since f(p) is positive, write

so that x^p₂ = ∑_{i = 1}ⁿ x_i^p₂. This implies that x_i^p₂ ≤ x^p₂ and thus x_i ≤ x for each i. Since p₂ ≥ p₁ > 0, it follows that

From the above analysis, the left hand side of this inequality is simply 1, so we now have

which immediately gives

which is the desired result.

Hadamard's Inequality

Let A be an n × n matrix with entries a_ij and transpose A^T. Then

Proof

Apply the Gram determinant(Gramian), defined as follows:

In other words, the Gramian is the determinant of the matrix with ij-entry equal to the inner product of the ith and jth vector argument of G. Now a theorem(whose proof is excluded at least in this discussion) on Gramians states that if {x₁,..., x_k} are k vectors in Eⁿ then G(x₁,..., x_k) is the square of the k-dimensional measure of the k-parallelotope determined by the vectors, or in other words, G(x₁,..., x_k) is the square of the determinant of the k × k minor consisting of the i₁, i₂,..., i_k rows. Then given n vectors in Eⁿ, G(x₁,..., x_n) = D². Then it follows that

Since the determinant of the transpose is also D, the indices i and j may be interchanged and the inequality is the same.

There are a few proofs for now, it is time for me to go. Perhaps later more will be added.