  Li introduced the normalized volume of a valuation due to its relation to
K-semistability. He conjectured that over a klt singularity there exists a
valuation with smallest normalized volume. We prove this conjecture and provide
an example to show that such a valuation need not be divisorial.
