## A Simpler Probabilistic Proof of a Wallis-type Formula for the Gamma Function

We simplify our probabilistic proof of a Wallis-type formula for the Gamma function by using Gamma distributions instead of normal distributions.

## An Intuitive Proof of the Hahn-Kolmogorov Theorem

The Hahn-Kolmogorov theorem (which is sometimes called the Carathéodory extension theorem) is used to construct various kind of measures. We provide an intuitive proof of this theorem which avoids using Carathéodory’s (rather) unintuitive criterion for measurability.

## An Overkill Proof of Wilson’s Theorem Using a Sylow Theorem

We prove Wilson’s theorem, which is an elementary result in number theory, using one of the Sylow theorems.

## A Linear-Algebraic Overkill Proof that Finite Fields are not Algebraically Closed

We prove the simple fact that no finite field is algebraically closed using rational and Jordan canonical forms.

## Eight Ways to Derive the Characteristic Function of the Normal Distribution

We present eight proofs of where is a standard normal random variable. This fact is more or less equivalent to saying that the Gaussian is its own Fourier transform. We start with proofs that are rather elementary, and move on to more sophisticated proofs.

## A Proof of Hölder’s Inequality Using the Layer Cake Representation

We prove Hölder’s inequality using the so-called layer cake representation and the tensor power trick. The heart of the proof is the following one line:

## Borel’s Proof of the Heine-Borel Theorem

We present a polished version of Borel’s proof based on Cantor’s theory of sets. More specifically, we use transfinite recursion and the fact that any strictly decreasing sequence in a well-ordered set is finite in length.