Consequence of the Hahn-Banach Theorem From wikipedia's page on the Hahn-Banach Theorem:
If $V$ is a normed vector space with linear subspace $U$ (not necessarily closed) and if $z$ is an element of $V$ not in the closure of $U$, then there exists a continuous linear map $ψ : V → K$ with $ψ(x) = 0$ for all $x$ in $U$, $ψ(z) = 1$, and $||ψ|| = dist(z, U)^{−1}.$
How is this a consequence of the Hahn-Banach Theorem? 

Check that
$$p \colon x \mapsto \operatorname{dist}(x,U)$$
is a sublinear functional. (It's a seminorm, actually.)
Then apply the Hahn-Banach extension theorem to $\tilde{p} = \frac{1}{\operatorname{dist}(z,U)}\cdot p$, and the linear map $t\cdot z \mapsto t$ from the one-dimensional subspace spanned by $z$ to the scalar field.
Alternatively, let $W = z - \overline{U}$, and $C = B_{\operatorname{dist}(z,U)}(0)$. Then $W$ and $C$ are disjoint convex sets, and $C$ is open and balanced. By one of the Hahn-Banach separation theorems, there is a continuous linear functional $\psi_0 \colon V \to \mathbb{R}$ with $\lvert \psi_0(x)\rvert < 1$ for all $x\in C$ and $\psi_0(y) = 1$ for all $y \in W$. These conditions show $\lVert \psi_0\rVert = \operatorname{dist}(z,U)^{-1}$ and $\psi_0(z) = 1$. If the scalar field is $\mathbb{R}$, let $\psi = \psi_0$, if the scalar field is $\mathbb{C}$, let $\psi$ the continuous linear form with real part $\psi_0$, that is, $\psi(x) = \psi_0(x) - i \psi_0(ix)$ for all $x\in V$.
